Comment by michaelt

Also the EU's population is 450 million, while the UK's is 69 million. So losing the users stings 85% less.