In the field I use a Barsted File, be sure to push back against the edge to avoid filling the file teeth with metal. Same as you would for an axe. Then follow with a hockey puck stone in a circular pattern. Wear gloves to help prevent cuts. Works fine dry in my experience.
I have also used a silicone carbide sanding disk chucked in a drill to quickly take out large nicks.
Had to make my 1000th post.
Edited by clearwater (04/24/18 10:54 PM)