Well, they've invaded the place before, should be old hat if they wanted to tangle with ISIS directly. Wouldn't need to go deal with them in Syria in the case they force them back that far, hassle to do so and as long as they stay in Syria, no one will care. Could even use airstrikes to help Assad crush them. But eh, fantasy at this point.