yes, not what I meant. I just override the default and change the primary DNS to 8.8.8.8, and that cures the problem. After a couple of hours, I change it back so that Hughesnet DNS is used.
