Carbide drill would definitely do it, but at that size they are very fragile.
If he's sufficiently determined making a custom drill bushing out of scrap steel would mitigate the risk of snapping...
Although I'd probably just take the chance and center drill it then run the drill bit fast, whilst feeding with consistent pressure.