I hadn't even thought of that - but I do have several friends whose offices are downsizing due to WFH policies, so I wouldn't be surprised. Surely you could just repurpose some of the buildings into residential real estate though?