Rock drill

Any drill used for quarrying rock.