A surefire better route I'm also considering when I get blessed with a couple of 36 hour days is to cut a piece of teflon and put under the pin, but that will not be a repair done from the top, it will require removal of top and desoldering of the pin.