Nope. The whole "salary for life" thing is a myth that's been around since before the 1980s. They're on the same retirement system as most feds - in the old days it was CSRS - which is where the whole "not paying into Social Security" thing came from (large pension that they paid $Texas into, instead of SS - nowadays…