Well, I don´t have a dog in this fight, but since I see some guests, I´ll leave my humble POV
Spain and UK were top players at the same game: building global empires and p*ssing each other in the process. If we were back in the 1700-somethings this dispute would be solved by either sending a fleet to ravage the hell out of the other´s garrisons or in bed (by settled marriages).
Things turned to be pretty cool for the UK, while Spain lost power. And time went by.
Nowadays, Spain should think: what would I actually win if I keep pushing ? IMO Spain should suck it up, face the facts and see how to build a smart relationship with it´s relevant NATO partners. Last thing Spain wants is a claim-revival over there, considering Spain´s territories in Africa.
As for the rest of the comments here, I must say I´m a little bit dissapointed by some of them, which took a nasty twist.