from the GNU version of the Collaborative International Dictionary of English
- n. a punch, or punch pliers, for making holes for lacings in the ends of driving belts.
from The Century Dictionary and Cyclopedia
- n. A punch made up in the form of pliers for piercing holes in belting through which the lacing or rivets are passed when the ends are coupled together.
Sorry, no etymologies found.