Thank you so much everyone for your replies. I am really sure there was no 8582 - not in the pdf copy or in the hard copy that the tax preparer shared with me. ...
Thank you for your reply! This was very helpful - I think filing separately, and him submitting both a 1040NR *as well as* a 1040 may be the correct way to go!S...