2 ms·

No, Musk's Boring Company is a marketing company that just so happened to have bought COTS tunneling equipment.