The OCD therapist thinks we're probably good, and that the guy has a strong handle on compulsive behavior. Sometimes, kids just grow out of scary behavior! Growth is cool stuff; it's nice to have Actual Growth instead of the meager "Growth Mindset" that I, Smidgeo, and other adults have to make do with.
I was thinking yesterday about what a huge mental relief it was for us. Just now, I realized it also saves us $1000 per month.
It is rough out there for people with kids with persistent mental health issues.