Just got back from vacation .
To answer the materials question.
I used a toothpick to push the pin out and then a 7 step nail file (right next to all the makeup at your local drug store...) to sand the pin down.
I used the coarse file first and went to the medium to fine tune the pin.
Hope that helps.