We didn’t leave the lounge any too soon, as the 11-minute walk to E44 included Passport Control and a train ride.
Fortunately there were no lines to get our passports checked and stamped, even though they’re set up for lengthy queues.
A moment of excitement: when Brian presented his boarding pass, there was an ominous sound and “Unable to Board” displayed.
The employees didn’t seem concerned and simply overrode it. We’re now aboard an Airbus 320 without too much legroom, but thankfully in European-style Business Class with a blocked middle seat.