3 ms·This is not Elon Musk's The Boring Company though.by nikolay 3y agoThis is not Elon Musk's The Boring Company though.