I've been developing flash videos for a fast food video menu system. I've been exporting my flash video out to AVI then converting the file to HD MP4, Xvid and others. I'm loosing a lot of video quality in the process. Has anyone else developed flash videos for this player successfully? It would be great to learn of the best formula. Flash may be on the way out, but the development software is awesome.