Synonyms for Borer (same or very similar meaning)
WordNet sense 1 (a drill for penetrating rock):
bore bit, rock drill, stone drill
WordNet sense 2 (any of various insects or larvae or mollusks that bore into wood):
woodborer
From the ODE community, based on WordNet
add/edit