Current users to vacate 280 MHz? https://www.radioworld.com/news-and-business/business-and-law/c-band-auction-could-begin-in-december
It's more than that. $9.7 billion for the spectrum and $3 billion to $5 billion for relocation costs. He's betting that the auction will generate the funds.