Get your taxes done using TurboTax

Possibly ... it can't hurt to file a form 8379 ... you can't do any worse than having it all lost.  Allocate all of the school credit to him since it is his.