ive downloaded the 5 videos and watched them in real play. no problem there. windows media players plays pretty much everything so long as you have a good set of codecs. There are good codec packs around which are worth downloading, im sure Chunk or someone put up a link for one in another thread.
if you still want to do it anyway, try
www.download.com you'll be able to find something on there, but maybe someone can help further.