Absolutely correct on all the above.

T-Mobile is also using mmwave and retaining it in urban cores, but returning a lot of the spectrum.

There's a LOT of spectrum work being done at the FCC right now... Or was...