Prickpunch

Definition:

• (n.) A pointed steel punch, to prick a mark on metal.