I hope the situation does get sorted, I'm not sure the Mil controllers could cover all areas. I've got a trip planned for May 16th which, although not a strike day, would almost certainly be affected by the knock on effect.
Does the routing of flights from Gatwick to Funchal make it likely/possible that they would be affected by a strike in Spanish Airspace?
Given that this latest round of industrial action is being brought by the Baggage Handlers and Firecrews, I fail to see the relevance of references to ATC controllers!
pp