Maybe someone can help me with this: From the latest 8-K: <b>Total Debtor and Non-Debtor Cash and Investment Balances $ 13,357 (in millions)</b> Not too shabby for a company in bankruptcy. Am I understanding this correctly?