Apparently not enough for them to intervene (militarily?) even now while they have both the US and Israel actively on their side there?