I don't see the big deal with drilling out a tap that size. I've drilled out many of taps that helpers in the shop broke off in parts. Used the normal high speed drill bits that we used for everything else in the shop. Yes, sometimes I would break the tip off the drill and resort to an end mill.
Just my opinion, you don't have to take it to heart.. Though I really like the torch idea A LOT!