i've started just using google. plug in the ip followed by "stats" or "bans" and you can find stuff from other servers too, connecting ip's with other steamids and such. also the stats aren't always directly searchable if the player is no longer in the ranking system, however their profile page still exists, so it shows up on google.