Off-topic, but am I the only one who finds it incredibly grating to speak of Elon Musk with his first name? You don't do that with other people, other billionaires or tech people or whatever, you say Bezos, not Jeff, and Bill Gates, not Bill. What gives? I find this irrationally annoying.