On 22/09/2019 19:30, Archibald Tarquin Blenkinsopp Esq wrote:

So for the average "Joe" in the UK, his "win" is a blue passport and
the ability to buy duty free.

They don't win a blue passport, the UK decided to change from blue to
red not the EU and they could change back to blue if they wanted to.