10.25 is the recommended size.
Depends how critical the job is I suppose!
I'd be trying a 10mm drill bit and seeing how the tap feels when I thread it...
I’ll third that. When hand drilling the tolerances will be greater anyway.I'd be trying a 10mm drill bit and seeing how the tap feels when I thread it...



