Is there a good encoding program out yet that works on Windows XP x64 Professional Edition? I've got AVI2DVD and it seems to work, but every time I play the movies that it created, it doesn't finish the movie. The program says the encoding is done, but when I play the movie the ending is cut off. It just stops a little past halfway through the movie. Is this a problem with AVI2DVD that I can fix, or is it just an issue with compatability between AVI2DVD and x64?