Her behavior really does sound like OCD; it would not be a bad idea at all to have her talk to a therapist. It's a miserable thing to struggle with and she might be much happier. (I have a close friend who struggles very much with OCD, and this reminds me of her.)