@User47@vmst.io
Grabbed the punch, and found some step drill bits that look pretty sweet. Never had a need, but have been eyeing them. Love the concept, and this should help with my cordless drill power concerns.
Also b/c I'm assigning the repair work to the kiddo I got some stop collars so he doesn't go crazy and overbore the hole.
@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?)