Sharpen a carbide tipped masonry bit like you would a normal drill. Drill fairly slow.... I've drilled 6"+ thick hardened tool steel with a masonry bit and an air gun for cooling, many many times. Carbide doesn't like the shock of cooling intermittently with water, so unless you can keep it...