If he got through lottery he won't be having visa I guess . He went through aos, not sure abt category though.

If he would have been through roughness to get GC , he should have enough khow how's abt GC and would have went many time to uscis site.

Any way u won't need anything, other then valid passport and GC.

However I heard that once Feds hold guy for fake marriage thing @ POE.