LOL
Anyway, thank you all for the tips and advices. In the end, I was able to fix the tip quite easily using a tiny grinding stone on power drill (stationary on a stand). Sadly, I needed to thin the bevel around the tip and in the process I nicked about an intch of the edge. Having grown...