Havana Retractable Cigar Punches

How are they in terms of quality and reliability???

A friend of mine just told me that a smoke shop close by here has just started selling them for about $9.00

Was thinking of grabbing one to replace my pretty dull $2 cheapie punch.

Yay or nay?

Here's a little Youtube video demonstrating them.

http://www.youtube.com/watch?v=sNfJvMz_B1c