Hi Arken,
Thanks very much for the response.
Can you explain more on the InfoPass? I searched for this, but the only thing I found is that the InfoPass is an online system, but cannot be used if you are in the US. (https://my.uscis.gov/en/appointment/v2)
I did find info on the ADIT stamp, and that does look like the correct thing to get.
So basically, I need to call the USCIS, make an appointment, and get them to stamp her passport?
Greg