But as Mr Musk exits the White House, what did he achieve? And what – if anything – was in it for him? This is the time of ...