@User47@vmst.io
Oh and harbor freight guy talked me into some cutting oil. Which makes sense.
It's in plumbing, BTW. Totally would have expected in metalwork or drilling. But plumbers use it too, for threading metal pipe, I guess? (Don't they mostly use PVC, ABX, and PEX at this point?)
@mlanger@mastodon.world
@User47@vmst.io Cutting oil can't hurt. I'm sure you're drilling thicker metal than I ever do. Make sure the drill bits are capable of drilling metal.