The sort of gauge used in casings. Say something like a 3 inch diameter hole, fairly neat, so something neater than chain-drilling then filing. No fancy tools available eg no slow rev hand drill, fly-cutter on a mill etc
-- Diverse Devices, Southampton, England electronic hints and repair briefs , schematics/manuals list on