I actually was just reading about this for something I was doing for work. PANDAS is indeed very controversial but may be a possibility; what you describe does sound like OCD to me. There are treatments, including antidepressants and cognitive behavioral therapy. It's important to know that accommodating the child's compulsions has been shown to make them worse. I would get in to talk to somebody, because it seems like this behavior can snowball once it starts.