On Thu, Mar 06, 2003 at 08:09:51PM -0500, Mike Simons wrote: > Yes, there were problems with DNS. It's unclear if all of the problems were solved...