Of course that video could well be encoded using XVid and not DivX if it still doesn't work, seeing as XVid is getting more popular now - I find XVid to be much nicer myself anyway