I read somewhere that Gibraltar was included in the NATO treaty but the Falklands weren't? So if there was no NATO would Spain attack Gibraltar? Perhaps in this timeline instead of NATO there is a less formal security alliance and Spain might hope that the US will only care enough about mainland Britain. How easy is it to butterfly NATO away? Perhaps in this timeline the West does not want to antagonise the USSR as much and so they haven't formalised their mutual defence?