I always assume that if the school mailed the 1098-T to the student, then the school also filed the 1098-T to IRS.