I've played with the three alleged bots a lot. In my mined database, they're all winners, mariojr for 2ptbb/100 over 28k hands, full_tilting for 0.5ptbb/100 over 26k hands and 1forthethumb for 0.75ptbb/100 over 20k hands.

I think the evidence is pretty strong that they're bots, but it could also be explained if they're friends who play the exact same strategy (and always avoid playing at the same tables) or one super-human who 8-tables on 2 or 3 accounts simultaneously. The most amazing part is that three accounts can multi-table and put in enough hours to be 3 of the top 6 volume players in my mined database AND NEVER PLAY IN A POT TOGETHER. The fact that they have identical stats is weird too.

fwiw, I'm down ~$110 over 8k hands against the three of them I always thought they were predictably nitty taggs, but I guess I didn't take advantage of it.