I'd love to keep the DivX files instead of converting to Mpeg2 for burning, but DivX compatible DVD players are just starting to come out. Anybody know first hand about them?