Bob H wrote:

To drill stainless steel, use a slow speed drill, and don't put too much
pressure on the drill. Also, I strongly recommend you use proper metal
cutting fluid or paste.

Good enough?
http://www.cromwell.co.uk/SHR7324000K

make sure you use the correct sized drill bit for the tap size.
http://www.engineershandbook.com/Tab...ictapdrill.htm

Thanks, that confirms the 4.2mm drill for M5x0.8

I have only had about 30 odd years experience in the engineering trade,
so I know nothing, lol.

:-)