Do they call them subterrenes (similar to submarines) in the industry or is that term a ridiculous steampunk conceit? Big respect here for those who tunnel
Did your coworkers crack a lot of jokes about The Underminer from The Tick and Krang from Ninja Turtles?