Yes the game interface does have a search function - the name of the server is iGO. They typically have two servers up one private and one public.

Just for fun here are my stats for this server.

http://www.dods.igo-online.com/hlstats/hlstats.php?mode=playerinfo&player=3723

8./JG 26