Hi Richard
I had the same problem during development of my site, but got IE to reread the js files by hitting <Shift><Refresh>. See if it works for you too!
BTW, how's Jo'burg? (Me being an expat, I'm always interested!) Never too old to learn...
Nico