Windows 7 Pro 32 Won't See Network - Auto Configuration IPv4 Address

We set up three new terminals this week at the office; they're all running Win 7 Pro 32-bit. I set them all up simultaneously (literally sat at a desk and entered the same keystrokes at each of them), so I don't see any obvious reason that one is behaving differently from the other two. The essential problem is that the terminal doesn't see the Internet. Here are all the particulars that I think might be interesting, listed in no particular order:

- The terminal ran fine for several hours. Email access, Internet access, from 9 a.m. to 2 p.m. At that point, the user called me to show me a dialog box. I used System Restore to go back in time to 9 a.m. in case the user had somehow managed to do anything (though she's not an admin).
- IPv6 is disabled.
- The workplace uses Static IPs. The IP address is entered correctly in the IPv4 properties (x.x.x.213), but at cmd / ipconfig, I get this result: "Autoconfiguration IPv4 address: 169.254.95.187"
- In Network and Sharing Center, the network (which is only known as Unidentified Network) is set to type Public. When I reset it to type Work and reboot, it resets to type Public.