I noticed there are a handful of special purpose transcoders to make a DVD playable on the PalmOS media player. Is it necessary that I use one of those tools, or will AutoGK work given the right parameters?

BTW, I tried playing an AutoGK generated 700MB AVI file that was generated with all the defaults and everything set to auto, and the Palm media player didn't show that the file existed. Is this a matter of the media player being incapable of downgrading the resolution on the fly?