Plasma drill

A plasma drill was a type of tool.