I need to convert video data to 7.5 fps mpeg. By this i mean *real* 7.5 fps and not 7.5 at internal 30 fps ( thus cutting down the playtime by four) The only way i found is rather complicated and affects the quality because you have to recompress a few times.

I use Virtualdub to convert the video to 30 fps. Then i use Virtual dub again to decimate the frames of the 30fps video by 4. ( VirtualDub can decimate frames only by integers).The result is a 7.5 fps avi. Then i hex edit the avi back to 30 fps and convert this avi to 30fps mpeg with tnmpeg.

Is there a better way to do this ?

Btw if you wonder what i need 7.5fps mpegs for, it's a mpeg player i wrote for the gba