I just got some 5mm "Bosch blue" bits from Screwfix, like the above. I need to drill quite a few holes in hardox so fingers crossed they do the job!