I wonder what happens to the credit scores for college debt holders when the gov pays a good chunk of it off for them? They get a score bump on top of Uncle Sam's bailout?