Related Party Transactions - Dish Network - Real Estate Leases to DISH Network (Details) - Related Party Transactions, Lessor, Operating Lease, Real Estate - DISH Network	1 Months Ended	9 Months Ended
	Mar. 31, 2017	Sep. 30, 2022
100 Inverness Lease Agreement
Related party transactions
Required minimum notice for termination of agreement (days)	180 days
Period for termination of agreement after lease extension	30 days
Meridian Lease Agreement
Related party transactions
Period for termination of agreement after lease extension		30 days