I've often wondered, but today I learned that 253,740 people "in Dallas-Fort Worth" are government employees.
Source. And as a comment on that source pointed out, that "doesn’t count the thousands working for defense and aerospace contractors in the area (Lockheed-Martin, Bell Helicopter, Raytheon, etc…)"
We've got a beast on our hands.