Matt:
Agree with the previous statement. There is a differenence between a Staking (prick) Punch and a Center Punch - Angle of the grind. I worked in a machine shop for about 8 years. I will say this - It really doesn't matter between manual or auto. If you are going to use something to pop a quick centering for drilling...The Auto Center Punch is for you. If I was going to stake a nut on firearm, I would use the manual. You can over do it with a hammer, but I know how to control a hammer.
The Auto Centers are fantastic, but you get what you pay for. I am not saying $30 is not enough. However, if you need to use it alot, buy a good one. The springs will never be as good as the first time you use it. Hence, the spiking of the punch (so to speak) 8-10 times later in it's life. I like the manual set you were looking at.
Be careful and you can grind the proper angle needed for a STAKING or Prick punch. There is a bit of difference in the ANGLE of the tip. You can modify the center punches by grinding a new tip. Just make sure that you keep the new angle centered in the center of the punch.
Try this for $5.99
http://www.brownells.com/.aspx/pid=25532/Product/SINGLE_PRICK_PUNCHES
RobF