We&#39;re having intermittent problems in which the HelpDesk doesn&#39;t come up from the DrRacket menu in our classroom installation.  We&#39;re running 5.1.3 on Windows 7 64-bit enterprise edition.<br>
The default web browser is Internet Explorer 8.<br>
<br>We haven&#39;t detected a pattern.  Sometimes, simply nothing happens when we invoke HelpDesk from the menu.  Other times, it works fine.<br><br>Our sysadmin reports the following details about our setup:<br><br><div style="margin-left: 40px;">

The only thing weird that could be causing the issue from our end, is 
that we push out the deployment with Microsoft App-V (formerly softgrid)
 however I&#39;ve turned on the flag to allow local interaction with the 
application which by all means allows it to open and run things outside 
of the application itself.<br></div>
<br>Any ideas, or requests for other info about the system configuration that would help here?<br><br>thanks,<br>Kathi<br>