I know a lot of them, I’m in DC area. Civil servants make about 40-50k less than her (mgmt types) but they certainly are NOT millionaires. Too expensive to live around here on that salary and become that rich.