[Jim Baker]

The short punch is pretty much the same diameter as the long one, I use it to start moving the pin out then use the long one. I don't know what sort of steel is used in the long one but it bends fairly easily.