I have one question to those who prefer to go on an all-out-war against these guys.
Do you think its any worth? What benefit does killing these rebels give the rest of the country? Economy wise? Save a few soldier's lives? End tyranny? I doubt any of these are applicable. Killing these guys only save a few lives. Tyranny will conquer the place forever, no denying on that.
Unlike the one we have at Libya right now, people want Gadaffi dead because of Tyranny, Manslaughter and the economy is slowly dying there. Libya was facing something similar to the Third Reich. Liberating Libya will open gates to their oil to the rest of the world. What does Mindanao have anyways? It's nothing to the Third Reich, more like just a small scale rebellion.
I don't deny I want an all out war. To go on an all-out-war doesn't have real benefits. You know, kill a few muslims I guess? Not worth it.