Incidently, one of my users had a somewhat similar problem this morning (local switched network, one client can't ping the server, everything else OK). The same solution - rebooting the switch, in this case - worked.

Sigh! It is not only Windows any more that get tired and require reboot here and there...