The files are in WMV format by microsoft so all latest version of Windows Media Player support this. If you use old version, it will get update from microsoft, you don't have to download anything yourself.
:twisted: