Did some more research on Evrsoft's forums for this.

The file that is found isn't a virus, but it is recognized as an annoying java script. Your virus program removed it, so all is good. It's not a critical part of the software.

The truly disturbing part, for me - is that even with many many reports of this bug on their site, the file continues to be packed in the dowload. *sigh* Some people's children.

Anyway - no virus and no danger.