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.

I've just remembered somewhere with a substantial pillar drill I can
probably talk my way into using ...