Punch

Punch

A tool in the form of a hard metal rod with a shaped tip for making holes or indentations on the surface of the piece being worked.