Google, it would appear, have about 10 servers serving Gmail. They might well have more behind the 10 IP addresses, with each IP address handling a cluster of machines. Knowing Google’s love …