haven't tried this yet; YMMV.

How about a piece of wet/dry sandpaper (400 or 600 grit)? Should do the job nicely, and you can use it to touch up needles and fishhooks and such. Plus, it works when wet <img src="images/graemlins/smile.gif" alt="" />
_________________________
Member of the toughest, meanest, deadliest, most unrelenting -- and ablest -- form of life in this section of space, a critter that can be killed but can't be tamed. --Robert A. Heinlein