What????? 20k muzzies????
Just rechecked the story: it was on a push feed on my phone last night but the event was almost 3 wks old. Of course, Dallas and Richardson have sizable, growing muslim populations. Arlington to some extent.