I am having trouble playing DivX movies on my Sorell portable media player (video and audio don’t sync). I have come across one particular DivX movie which plays perfectly. I can see its encoding details in GSpot. My idea is to re-encode the problematic file to the format of the good one. Any ideas on how I can achieve this?