Thanks mate, will do.
For everyone's information, we found a workaround that seems to sidestep the problem. In the directory where workbench is installed, instead of opening workbench.exe, double click on 'startup.jar'. It takes a few seconds but it opens the application ok. I am not sure what 'work...