The Boring Company is apparently up and running.