No one has replied
Same problem, we both had to reinstall. Still sometimes have to reboot to get a clean start though.
@GregorC Thanks for the feedback. It would be great to know what version he/she is using since this issue seems to have special circumstances in which it occurs.