It was more than 3 years ago, but as far as I know, they did honor the agreement. Some people took early retirement packages closer to the end of that three-year period and they got the same deal.