Plus the student debts themselves are non-dischargeable in BK, n'cestce pas?
Essentially, that’s right. The bankruptcy code provides for discharge in the event of “undue hardship,” but that is damn near impossible to prove. To qualify, you pretty much need to be permanently and totally unable to work.