A colleague of mine is flying LGW-BCN this morning and messaged me while taxing "I had my carry-on gate checked and my passport is inside". He is a UK passport holder - what advice can I send him for when he lands? Do you have any experiences?