Re: .mil dns problems?