In the manual that came with my C9 it states that one should use a 1/8th inch punch to drive the pin out. Of the 3 times I have taken the pistol apart, the punch gets stuck and is hard to get back out. Since the pistol is more of a pain to take apart than it needs to be, would it not be better to use a 7/64 inch punch?