Just wondering how people sharpen these. I have several around including one with a carbide tip that I got from Lee Valley, but they are all dull after lots of paint and finish scraping. I think the painters typically just run a file over the edge. I have a coarse (220 grit equivalent) DMT diamond stone and some water stones (1000/4000) but was wondering what effective grit is useful vs overkill. Is there a special technique or is it like a chisel where you flatten and then do the bevel?
--Rob