Definição e Significado de "prick punch"

a precision hand tool with a sharp, pointed tip that is used to create small, accurate indentations or pilot marks on a workpiece