I am currently setting up a machine to drill holes in polished 304
stainless tube. This machine will make about 100,000 holes per year
through one side of 3/4" by .060" tubing. To ensure long tooling life, I
need to cool the bits. The tubing is prepolished and this is decorative
stainless (so the appearance must be flawless after we drill). I am
looking for a coolant that is easy to clean off the finished parts
before they are assembled. Any one have any ideas?

BTW I am not tackling this project alone, I am working with Joe Agro Jr
and his dad on this project.
Also anyone one with first hand knowledge of good coolant pumps? I need
one of those also.

Thanks in advance
Greg Postma