If he doesn't have an SSN, yes you would use the ITIN. However, assuming the SSN on the W2 and the ITIN don't match, you should file on paper.
View solution in original post
