Even though the Brits mindlessly voted for Brexit and spent four years being too feeble-minded to reverse a decision that was built entirely on infantile lies, Gibraltar (as a protectorate, it's not part of the UK) remains within the Schengen zone. Doubtless over time Gibraltar will merge with Spain, just as Northern Ireland will merge with Eire and Scotland will become independent. We shall doubtless then see hapless English and Welsh folk begging to be admitted to The Rock...