[Wilso]

We usually would only do a 4mm and then go straight to the 10mm drill bit so your using most of the cutting surface. Go slow with lube and pressure and if the bits are sharp should cut very easily.
Lucky you weren’t drilling stainless