Another way to look at this Fcc auction,$16B has been bid so far for the total 65Mhz at auction. The proposed tlps is roughly one third of that at 22mhz. One third of 16B= 5.33B, current gsat market cap is 2.5B
The auction is not over yet
xxxxxx Jessica Rosenworcel @JRosenworcel · 9h 9 hours ago
"$12 Billion: The amount raised so far in the @FCC auction of 65 megahertz of spectrum that was started last week."