Thanks so much for the quick reply. Unfortunately he does receive a W2 from his employer ☹ So it appears the question is no longer relevant.
