Yes, he has the plastic green card. It expires in 2024...My daughter is born in BG and isn't a US citizen, but consular officer here told me that for her it will be easier.I thought about this option 1. The problem is that I'm afraid that for example we get on the plane for US and he isn't allowed to board...or can they deport him or something?