Fed retirees are NOT paid "full salary" try less than 50% of the top three yrs of pay. Go to the web and read information about the fed retirment programs if you don't believe me.
All I know is that a CPA friend of mine was shaking his head re the income taxes he does for retired Fed gov't employees and one couple in particular filed on their gov't pensions and the total income reported was 98% of what they had reported prior to their retirement. Their other investments (tax free bonds) weren't included. No, he did not disclose confidential information, he just gave generalities as an example of his amazement at the retirement benefits he saw first hand. I do know that my friends who retired enjoyed no less than six full weeks of vacation, at full pay, for many, many years during their Fed gov't 'careers'.