Well the good part is they didn't get an investment grade credit rating, so at least 401ks won't start buying their debt automatically. For now...