Forced Reload/Forced Refresh probably would have done it too. Ctrl+F5.
Recently converted to Firefox, and despite having to do fiddly things to get stuff you take for granted in IE, it is far better. Quicker loading, easily extensible, and tabbed browsing is really cool (and I was sceptical...