There's a difference of opinion on using masonry bit for stainless.
A masonry bit is made from harder steel than an HSS bit because stone is harder than steel (try an HSS bit on a house brick) masonry bits do have a point and a cutting edge and will last a lot longer thanan HSS bit.They are also suitable for glass and ceramics.
They dont have to be used with a hammer drill unless you are going through some really hard stone ,it gives an indication of strength and sharpness that you can hammer them whilst drilling and they still don'tget blunt or break.
Another situation where a mosonry tool is better than a steel tool is disc cutters, a masonry disc will cut steel but a steel disc will not cut masonry.
Okay, hardness has nothing to do with it here... Firstly, masonry is softer than any steel. Do a vickers, rockwell or brinell test on a brick and you will see... Secondly, where not talking hardened steel here, it's a friggin' biscuit tin he's drilling in! It is 99% likelihood that this is a austenithic stainless steel (impossible to harden..) so the problem is NOT in the drill bit. More likely in the drill or the driller. The drill could be a cheap job, not supplying enough torque at low rpms or maybe wilderbeast have arms of spagetti..
*****, Punch, Drill, Rivet. In worst case braze. Or, on second thought, braze it, it's more fun!