Curiouser and curiouser.
After the hour was up today, I couldn't ping named addresses.
Then I pinged an IP number, it worked, then I tried browsing the named address, and it worked too. Now everything works normally, and I didn't have to do a "Repair TCP/IP".