I once used (at Decca Radar) a set of cutters that were a bit like spur drills, but these had powerful spring loaded centre spikes and would whisk a clean and accurate 12 mm hole through the lid of a die-cast box using just a centre-punch dot as a guide.
I have been searching in vain for such...