Don't get me wrong, Musk would be my first choice as well. He might legitimately be the best man for the job, not just among tech CEOs