After uninstalling Blue Coat K9 Web Protection 4.0.296 (getk9.com) and reinstalling AIS Beta 6.0.1044 and selecting change to add the firewall option, my son’s laptop seems to run well. So there seems to be a conflict between K9 and AIS.