I've replaced the 852x480 wmv with an 854x480 mp4. If you're using Windows XP or Vista, then I recommend the free VLC Player. The Windows Media Player that comes with Windows7 is good too. I don't recommend Quicktime Player for Windows, but it works well on Mac. I think the quality of the mp4 is better than the wmv, and I can also use the same file for flash.
