I seemed to have got it working as follows;
• Once software installed connect Philips speechmikepro to USB port
o Run controller setup wizard from Options and set options as below
o Run audio setup wizard from dictation menu to set record and playback volumes
o If not working may need to use speechmikepro from a working computer and then re-try with existing microphone – bit quirky sometimes!
try it and let me know how you get on - we seem to up and running with all users now