I had thought that they were going after more retirement benefits, only thing I saw in the article was a $ 5k 401k contribution. The comments didn’t make sense calling this deal something that would help them to “retire with dignity” whatever that means. Would have been cool (but next to impossible) if they would have gotten back some sort of pension.