Then call her University and make sure they don't garnish her paycheck even if it is not a student loan. It is better to be safe than sorry.In this country never screw up IRS, money related to school or child support.

There is higher chances the college will send the defaulted tuition fees to IRS. So don't ignore them, call them ASAP.