server IPs / Ping times

[Binkley]

Is there a list of server IPs somewhere? I'd like to check my ping times to the various servers, but I don't know how to find their IP addresses.