I just a piece of fine sand paper and sanded the pin, which took 30 seconds.

Best of all, I can toss my trusty paper clip which has nicked its share of finishes over the years