Rotary style leather punch comes with 6 different tubes for punching holes 2, 2.5, 3, 3.5, 4 and 5 mm in diameter, even in heavy leather.  This tool is OK if you need to get through a couple of projects. Easy to use. Color may vary, but the general design is the same.
Leather Punch – Discount $10.00 USA shipping included