If the income is on his W2 then the tax paid should be in box 2. Included with his regular withholding. Double check with the employer. They might have grossed up the income so after the withholding it netted out to the full amount he got.
