re: #160 HappyWarrior
I also heard Gibraltar was overwhelmingly stay too given that.
Something like 90-10.