80,000 HHS employees offered a $25K job buyout.