A good hand file will remove metal well. This is mild steel, right? I know there are those mini-type belt sanders, the belt is about the size of a finger and maybe 6 inches long. I really can't think of an efficient way to go about this other than that.

OOO... Login to read more.