The DC market area, wealthiest zip codes in the land. Who cares what they pay. They apparently don’t.
The DC metro market is totally dependent, directly or indirectly on government growing out of control.
So far that has been a good bet.
It’s tax payers money. It’s not like they worked for it