I had a similar problem. I started using the 32 bit version of IE9 explorer and it worked fine for the videos without quitting.(You can keep both installed and pick when to use one or the other). Then I also found that if I turned on TOOLS>F12 developer tools and enabled the debug tools while in 64 bit IE9, the FLASH would work fine.
Let me know what you find.