The Collaborative International Dictionary
Prickpunch
Prickpunch \Prick"punch`\, n. A pointed steel punch, to prick a mark on metal.