Re: .mil nameserver problems?