[rarec]

The EU's a bit bigger than the UK by a fair margin.

[pessimizer]

Probably by about 5x. If the UK makes things difficult, they can just be ignored.

[toyg]

It's actually 7x (65m vs 450m).

[citrin_ru]

Depends on what consider a proxy for market size. EU GDP to UK GDP ratio is about 4.5