video converter

I have a Jensen Nav/Entertainment unit and am very happy with it, but I'm struggling to find a video encoding for the SD Card that doesn't take up huge amounts of space. Currently I am encoding videos to an AVI container with MPEG4 Codec and MPEG 1 Audio, 30 FPS. Results look and sound beautiful...