tools for drilling through rock in tunnels, specifically designed

...