If the company responsible for paying the pension benefits fails, what happens to the pension
Think Kodak.
You are correct. I put it into IRAs when I left that company.