jpmarth

If you don't want to load another player you can use PocketDivxEncoder to encode the mpg to an avi file.