Forget my previous question. IE has a reset button right under your nose. I don't think I've ever used it or even noticed it before.
http://support.microsoft.com/kb/923737 I'll get my colleague to try that. It makes you wonder why such a command might be necessary?! Greg