The IRS is offering employee buyouts. This is a limited program of up to only 400 employees. They must take retirement before April. The maximum buyout is $25,000. In an agency of 100,000 people this will have a negligible impact on their headcount.