Does he get a W2 or a 1099Misc from the school district? Even if they did hold out Social Security it wouldn't change your return. And he get retirement pay? You might want to increase his withholding at work or from his retirement.
