[TR] drill bits

[Randall]

> I use WD40 because it is
> in a handy aerosol can but extra virgin olive oil smells better.  

I use Mitee thread cutting oil for drilling or tapping steel.  Seems like it
maybe works a bit better than WD40, but I couldn't prove it.  Supposedly the
sulfur content helps maintain lubrication under the extreme pressure near
the cutting edge.

But possibly it's no longer available; I couldn't find a source just now.

Randall