30,000 IS "soldiers," two per Hilux truck divided by eight Tornados, it's going to take a while...
It all seems a bit like political posturing, playing a 1st world power with a 3rd world military capability, but to be honest we do not appear to have anything to do anything else these days.