i've heard that whois.geektools.com is an whois proxy that will
query all known servers for you so we could use this as the
default and it would work 'for everyone'.  it works for me.