Yeah, it sucks. I was not relying on that pension as it was never going to be huge, but it was a big part of why I stayed at that company for over a decade.