They should do it, just to empty Elon’s pockets. I’m sure he’d try to weasel out of it like the Twitter deal. Would be entertaining to watch.