SPD only runs the .exe for the browser. One, he may have a hung browser
process running. He would need to check task manager for the rouge process
and kill it. Or, the browser list is not properly configured with the
correct iexplorer.exe file.
That is a guess at best b/c I there are a number of other variables that
would cause the iexplorer process not to run.