Hi Tore,
There's a chance that this issue has been addressed by one of the more recent updates to Workstation 7.1.x... Can you try updating to the latest (Workstation 7.1.6) and see if the problem still occurs? It's a free update for Workstation 7 users.
Thanks,
--
Darius