I don't feel any better about this than if somebody told me at the time in 1968 when I was in Vietnam there are 5,000 Communists serving in our military.
It would have put my hair on end then and it does the same now.
And it would be wise to figure out a way to determine which ones are radicalized islamic muslims and which ones are not. Perhaps for now, furlough all 5,000 - until we can figure out "what's going on" (which will help in preventing another Ft. Hood!)