3 ms·Quite an important distinction, considering the CEO of the Boring Company is effectively Elon Musk.by hlieberman 7y agoQuite an important distinction, considering the CEO of the Boring Company is effectively Elon Musk.