He may have been better off as a federal government worker, if you include pension and benefits into the equation, which I find discouraging.
His pension, under the current system, would be his "high three" average times 1% times years of service ($133,967 * .01 * 21) = $28,133.
[1] https://www.opm.gov/retirement-services/fers-information/eli...
"What cost $210000 in 2000 would cost $304266.30 in 2017."