This was originally named something else, but I renamed it so I could find it again. It's buried in a thread somewhere.
Anyway, this restores the registry settings for IE and has fixed IE getting hosed a few times. By Opera, or seemingly randomly. I've had to run this at least 3 times in the last 3 months.