An attack on Gibraltar would have seen half the grand fleet show up. Brits love fighting Spanish. And Franco would have taken a bad hit.
Gonna be fun seeing all the Brits invading Madrid for the Champions League Final. Love to be a fly on the wall in the bars.