This is about more than Federal employees.
How many contractors, vendors, lobbyists, etc. live in metro DC because “their” .gov agency is there?
F#CK’EM; if the agencies they serve are moved they will either follow the fat or cease to exist.
Trust me other local service agencies will take up the slack (as it should be).