I have many such files and I managed to get them to work using mplayer (from synaptic) and the win32 codecs downloaded from the mplayer website. They do play, but not very well, it takes lots of resources and there is some garbling going on. Anyone has any experience?