Ed, I repeat a punch is never the proper way to fix a gun off face. Shim it if you must or build up the hook if you don't want to replace the pin. I know a skilled British smith who could "upset" metal to tighten a gun if a cheap repair was needed. But he never used a punch to make the gun look like it was swiss cheese.
Both of the guns I saw this weekend were guns which if not punched up and if on face in the current condition would have been in the 1000-1500 dollar range. With the punch marks, an educated buyer will never even make an offer. But it is not just those two you can see hundreds like them for sale. A punch is a nasty thing in an amateur or even professional hand.
