Amazing - thanks for the solution. RegEdit worked for Workstation 11.