While you might be correct, they are still killing muslims for people they consider their allies (also it's their job, I doubt they'd mutiny over it unless they were one of us).
But they still might not murder random countrymen.
@Xenophon I suggest you look up July 28, 1932, when the U.S. government attacked World War I veterans (who were protesting unpaid wages during the Great Depression) with tanks, bayonets, and tear gas.
These were active duty soldiers attacking their own veterans.