Search:

Wow, that's way too much. I do like Glen and file them almost flat (depending on the collar). We're talking 0.5 mm max. That's 500 microns for you abrasive nuts out there.
A good, small, peening...

Those hammers have a flat head, you'll want a ball head to peen the pins correctly.
I personally use a 2 oz jewelers hammer I got from a hobby store.

Tap lightly and go in circles around the edge...