Hmmmmmm, not sure if bonds get paid off while in bankruptcy proceedings or not. I would think they would, but perhaps without interest paid.