This pair of ticket punch pliers make a 7mm hole. This tool is 125mm in length. See the photos for the best description. I can combine the postal charge for multiple purchases.