Not for 1-3 letter domains, especially .com domains. Those basically fund ICANN.
I mean, it’s just registered with godaddy. If they were charging him more than the standard like $20 or whatever per year, he’d just move it to another registrar, no? The main cost of a domain is buying is the upfront cost if someone else already owns it, but that’s a one-time fee. Perhaps I’m sorely mistaken? I was under the impression Elon himself has the rights to it.
Not only that, I’d godaddy does charge him more yearly, icann certainly does not see any of that money.