Elon Musk’s Boring Company is anything but…

It’s widely known that when Robert Downey Jnr first sat down with the director of Iron Man, their interpretation of Tony Stark was…