I have nothing to add about the pin, but as to cleaning, I've been using John Fuhring's (geojohn.org) method with no problems. No water, just oil. Currently using jojoba oil. Others have recommended olive or other oils. I started out using whale oil, which I bought years ago when it was still...