baz: yes, but Gibraltar is also ours by right of the treaty of utrecht and the Spanish should remember it; after all. they own parts of Morocco by dent of treaties which they always flaunt in the faces of the Arabs; but, when it comes to the rock, treaties signned by Spain don't matter it seems.
The King has appearred on television in Spain which should settle things down, the pro- Spanish in Barcelona will know for sure that they will not be abondonned.