Hmm, so sounds like the Schengen option is slightly less of a pain. If there's no way to transfer between terminals without going "landside," then perhaps it makes more sense to just go to the landside LuxxLounge in Terminal 1. Thank you for the advice!