As we utterly digress, I seem to remember its SHIFT+F5 to refresh a page without using the IE cache.