They should have blown it out of the water.
UPDATE:
The FCO are p*ssed:
“We stand ready to do whatever is required to protect Gibraltar’s sovereignty, economy and security.”
Kill ’em, kill ’em all.