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.