Should be included on his W2 already. If they were sold, youd have a 1099B somewhere.
View solution in original post
