>TikTok is popular enough that I can imagine it's making enough money outside the US to just let them ban it and not sell.

Back in 2020, 10% of TikTok users were American but they accounted for 50% of revenue, or something like that. Any US shutdown would be catastrophic for TikTok's valuation.