Prickpunch

Webster's Dictionary of the English Language

·noun A pointed steel punch, to prick a mark on metal.