A friend of mine has a dog with OCD. He has undergone several surgeries to try and help, but he is old now, and they are treating his pain the best they can. He still has days where he is active and puppylike, but the down days are much more frequent now. They had some success with treating his arthritis though. Though, I don't know how credible that is overall, but there's no way to really tell at this point what actually bothers him more.
Sorry I can't be of more help, but I will try and talk to her this week sometime and ask her if she's been doing anything else for him. I'll let you know if they've found any good relief.