Hmmm. The problem went away when I deleted the DNS numbers in network prefs and substituted new ones I was given.