What video formats are playable on a Pocket PC? I'm sure Divx is the best and most practical to use. What kind of Divx files play best (size, frame rate, etc...)? I am looking into getting a PDA this christmas, and I want to get a big memory card and put some sea lab 2021 or space ghost episodes on it, along with some MP3s. It'd also be cool if the PDA had a video out, which I doubt any do. Maybe a VGA out, and I could use a scan converter. Any suggestions/advice?