RealPlayer includes a free video converter for compressing videos, resizing the aspect ratio and converting files to a wide range of formats. While you can't specify an arbitrary video size with this ...