Guess I'll have to splash out on the diamond. Slow drilling with trying to keep it cool.
They are expensive.
I also read you only get 4/5 holes drilled with them. That's 5 quid a hole.
What do you mean by regular sharpening? Like manually sharpening the bit edges with a metal file?