Alright folks - I screwed up, I backed up case insensitivity in the last version of /WHOIS. I should have it fixed by mid-week. Sorry, but I am simply over-worked these days - that is not an excuse, just the simple truth! - Michael Gettes, Boston University