Users probably work out it's Alt+R the same way I did, by clicking on "Tools" and seeing "Alt+R" next to "Scripts Editor"
In what you said do you see why it well make no difference if they cant get alt+r to work, they well go, "hmmm somethings wrong, click tools, click Script editor"
