[ceejayoz]

Correct. That said, if the UK leaves the EU, and freedom of movement goes away, the opinions of Gibraltar's residents may change fairly rapidly.