One day, if we wait long enough, The Boring Company technology will be boring technology.