rock drill

noun

rock drill

noun
1

A powerful drill that can cut through stone.

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.