He is not required to file a 1040NR but he may want to file one to get any excess withholding refunded. An ITIN can be applied for by filing an W-7 and attaching the return to it.
