The way I understood it last week(or the week before), the current retirees were grandfathered in. But people who hadn’t retired yet might lose everything they put in. That prompted about 500 out of that 2000-person department to file their early retirement. The department’s GOAL was to get down to about 350 people total. Now I don’t know how those retirement plans work with the *bankruptcy*, though.