I think it’s still on the order of 3-400 Billion or so, but I am not sure of the numbers.

Either way loans go back 4+ years before graduation and people take 15+ years to pay them back. So I assume quite a few of these loans are out there even if the remaining balance is not that huge.