The lump sum option vanished the day after AMR declared BK. I guess what we have here are papers filed to make it "official" prior to exiting BK.

No one expected a lump sum option to somehow come back. The LBFO and microwaved LBFO II have no provisions for it.

I have a friend who was going to retire prior to BK. Due to a paperwork snafu, it didn't go through, got slipped for a month, and then comes BK and no lump sum. He is smoking hot about it, but there's nothing he can do.