GUTpro has been formulated for kids with PANDAS (although they were on backorder when I tried to order earlier this week). http://organic3.com/gutpro/
In the meantime, I've ordered D-Lactate Free http://www.customprobiotics.com/custom-probiotics-d-lactate.htm It's expensive, but each teeny tiny spoonful contains 26 billion CFUs, so it ought to last us a long time. It contains no strep thermophilus.