Ahh, so I need a hammer and punch to do this? Or does the pin come out without a hammer, just using a punch-type tool to push it out by hand?
My favorite gremlin part is the detent for the pivot (front) pin on an AR. Even the cat can't find it. Next best was the trigger spring on a Beretta 96 that (unexpectedly) launched itself when the pin was drawn out. Tasks like that, I am coming to believe, are sometimes best done inside a plastic bag, so the parts can't travel more than a few inches! <g> (I'm not really kidding...)