[smt88]

OCD is very treatable with a combination of drugs and cognitive-behavioral therapy (specifically, exposure and response prevention). There are no other types of treatment that are known to be effective, and drugs are rarely effective long-term on their own. Note that this treatment would force him to decrease his work hours.

If he has self-diagnosed OCD and expressed it to you, you need to encourage him to get into treatment. It may be more comfortable for him to start with group therapy. You should encourage him to tell his family and seek their support.

Helping someone else through their mental illness is incredibly difficult, frustrating, time-consuming, and emotionally draining (depending on how cooperative they are). I know from personal experience. You should do some research to make sure you're giving appropriate advice and to understand what even a minimal amount of support would mean for you.

This is something you should discuss with an expert, ideally a local lawyer, but it's possible that your manager would be unable to immediately fire him without giving him the option to seek treatment first. I'm not suggesting that you tell your manager, only that you know the consequences of doing so.