Unless you think he's actually breaking a rule, another way should be found to handle this. You could always simply start ignoring every OOC message he sends, or even put him on your actual ignore list. If enough people do that and he stops getting any responses to his OOC spam, methinks he will either get the message or he will leave. Either way, problem solved. If you're feeling kind you could even warn him what is going to happen if he doesn't stop, but at this point I wouldn't feel bad about just cutting him out with no warning.
Is that really the message we want to be sending here? "If someone is not playing in a sensible manner out of sheer ignorance, but isn't breaking any rules, just try to ignore them until they
leave"?
We don't have so many players that we can afford to alienate potential good ones just because they're
not breaking any rules.