Pulse drill
A pulse drill was a type of technology used by the Telsians for mining bolomite during the 24th century. 

There was a problem with the pulse drills on level four of the Telsius Prime mining colony in 2376. ()
Tools