The page you linked to states the files are in Windows Media format. The Windows Media player on my system has no problem with the files.
To my knowledge only the Xara Xtreme movies are in the camtasia encoding.
Have you tried downloading the latest version of Windows Media player available for your version of Windows from Microsoft?
Bookmarks