Poker Gods/Bot Hunters: If you saw the following, what would you do?

[Spaggy]

(CLIFF NOTES) - player X is most likely a bot. He is easy to beat, and plays 20 tables at a time. Three questions come out of my rant below, and are the following:

1. Is this player a bot, and/or what are the chances he is?
2. Since he isn't very good regardless, is it still my obligation to report him?
3. Am I violating any T/Cs if I choose to just follow him around and try to clean him out assuming I don't report him?

Before I get in to details, I'd like it to be clear that I'm not in any way a tinfoil hatter when it comes to "zomg bots are everywhere" and "site x is rigged for (insert stupid reason here." If anything, I think that bots are most likely out there, but are also mostly losing players or easily exploitable.

Also, I use too many commas and probably include more words and details than necessary. I apologize in advance to any reader who finds this annoying.

Here is what happened last night on Pokerstars.

I'm cruising along late last night (2am or so) playing SNGs and .10/.25 NL to kill time before I go to sleep. I generally don't pay much attention to player habits (PT and PAHUD are good enough), so for me to notice anything makes it likely that the behavior is extremely obvious to a better player. I observe the following at the cash table:

1. There is a player who takes almost exactly 15 seconds to make every decision, even those that don't involve money (folding preflop, checking the BB when nobody has raised, etc). This reason specifically ends up being why I get involved, but more on that later.

2. He doesn't respond to anyone in the chat box, including variations of his SN and the word bot. Lets say his SN is botmaster. I started saying things like "hey b0tmaster, tell your bot to stop using an abacus to calculate pot odds" to see if there was a script to "red flag" a table, as I figure any bot maker with brains would do this.

3. I check to see what else he's playing, and see he is playing 20+ tables, all at the .10/.25 level, and always starts with $25 stacks. I know this is technically possible, especially with hotkeys, but this furthers my suspicions that something is up.

4. When I finally include his SN spelled correctly and the word bot in the same sentence, he begins ranting almost instantly about his not being a bot, that I'm an idiot, and how he "dares me to prove that he's running bots." He more or less brags about how they'll never be able to prove anything, and that he's been investigated before, etc etc. His play also speeds up to that of a regular player.

Long story short (sort of), I end up telling him that honestly I don't care what he's doing (as he's dumping chips like crazy and plays predictably), and that I just wanted him to speed up his game. I explain that most of what I said was just a level to get his attention and get him to manually play this table, including my joke about transferring me a few grand so I "forget" that I noticed anything. He insults me a bit more, realizes that he just got leveled (and leveled hard), and then stops chatting.

Within 5 minutes, he's back to 10-15 seconds per decision, unresponsive, and seemed to have returned to bot mode. I check a few other tables he's at and it's the same thing on all of them. His SN on Stars is left out for obvious reasons, and my SN is completely different than my 2p2 name.

So, for all the people here smarter than me and more experienced in outing bots, what would you do? If he is a botter, his logic is very exploitable. He seems to have a deep bankroll that came from one large tourney/SNG win (his sharkscope has a negative ROI until one giant straight line upward), and probably isn't in danger of getting caught. Am I obligated to report this player, or should I continue to just use his weak spots to make as much as I can?