Let's not forget the British SAS are there with them, mainly because they have much more live anti-terrorist experience, and they tend to get the job done.
Several years ago, when the SAS gunned down IRA terrorists in Gibraltar, a British satirical magazine had a front page of two SAS commandos with added speech bubbles:
"Why did you shoot him 35 times?"
"I ran out of bullets"
------------------
ClickCash - Better than 1:99 and $50 for signing up