My FCO-MAD flight next week has been switched to an A350 and is now landing at T4S, where I am connecting to a later flight to MIA. Just out of curiosity, is there a Schengen arrivals section at T4S, from which one can exit the EU and enter the intl non-Schengen terminal, or do they bus you over to T4?