[bpazolli]

What I do is use Dr. DivX and convert the screen size and framerate to the level of the player. Then convert the resulting AVI using the program. I am fairly impressed with the quality I get. But I didn't have any problem doing it using the tool alone.