The one I posted has a 1.25" shank with a taper into the handle. Its good for all guns. Anything similar can work.
You only want to move the pin enough to grab and pull out the other side with your fingers, not banging each pin out until the punch impacts the hole.
For that matter the backstrap tool is perfect for most.
There are some guns that do need extra force (my SF's all require more oomph), and yes I have used a light tap with a mallet on occasion

(blasphemy)