In addition, it also can punch holes of different sizes, from 2mm, 2.5mm, 3mm, 3.5mm, 4mm, and 4.5mm. In addition to the punch sizes, the tool is ergonomically designed with comfortable PVC grip ...
With the fate of repetitive motion injury looming due to the need to drill 1,200 holes, [bitluni] took matters into his own hands and built this nifty DIY hole punch ... The tool is quite complex ...