It should be included in his W2 from work. If you're not sure ask the employer if it is on the W2. Sorry you can no longer deduct employee expenses as an itemized deduction.
