The only other thing I could suggest is to check the Advanced Sharing options on his system. Maybe one of them have been changed.
You might try looking through the Windows Firewall Inbound and Outbound rules to see if anything looks different for his system from your others.