Thank you. I will just file a substitute 1099R. I knew they were full of it. They wouldn't even let her withdraw until after she quit  her job.  

So just to confirm they should have given her a 1099R since she has a green card and was still working as a W2 until July 2020 and she should not be a 1040-NR.

Thank you again.