Many thanks...

And yes stephen20, it's encoded with DivX. You can get the codec here: https://www.divx.com/divx/

The sound track is encoded with mp3, any mp3 codec should work...