A pin punch is a relatively small diameter punch. If you grind the tip at an angle, it can be used as a sort of chisel.
LINKThe pictures look like someone installed a cup style plug rather than an expanding welch plug.
Here's a pic of the different types of expansion plugs, I think you're looking at the one I circled.