whois service was not disrupted as far as i can tell...Just the
regular-old telnet-in interface.
... which now seems not to be responding at all. Apologies; I
wasn't aware of it. However, "telnet rs.internic.net nicname"
doesn't seem much harder to deal with than "telnet rs.internic.net".