Resharpening brazed on carbide is no trick at all, it just takes the proper grinding wheel, if you have a sizeable divot to remove, it is best to grind away the shank before grinding the carbide. I use a diamond wheel for the carbide on brazed on tools as well as touching up inserts; where I apprenticed, most work was done with brazed on tools, so I got lots of practice sharpening them, mostly using green or black wheels, no diamond wheels there. I do agree that most hobby work should be done with HSS tools, especially with lighter machines, this job included.