Would prove interesting if Elon Musk’s Boring Company was civilian cover for military boring operations to attack and dismantle rogue DUMB bases not under US control.
Prepared for any type of attack except rapid nuclear powered tunnel boring.
Like Howard Hughes and the weird big boat to lift and steal sunken Soviet subs.
Only with a head the size of a Jack-O-Lantern.