Unless the antivirus has a port blocker or some such feature, I doubt that's interfering. Have they turned off the Windows firewall? Do you know what kind of wireless cards they have?