I used to have one, can't remember how I sharpened it. Belt sander would work just fine. I've seen them carried in the pencil pocket of over-hauls. cool



"Why do you ask"?

Always vote the slowest path to socialism.