micropunch

Noun

 * 1) A very small punch (device)

Verb

 * 1) To punch small holes using such a device