That's all good for the next time I attempt an ABS repair. I happened to have a few black ABS pipe fittings that I could have used to make sacrificial savings for my repair but completely forgot about that until you mentioned it.

I'm still averse to drilling plastic. The holes never come out perfectly round. Given a choice, I'd take punching it out over drilling every time unless it's too thick. Then I'd drill.