Arranca-tubos

Arranca-tubos

,
m.
Ferramenta de mineiro, composta de duas peças horizontaes e que a sonda
tira dos furos, girando em certo sentido.