So…let’s start taking bets on whether or not President Musk will make TikTok an offer.