How I did 25.0588 fps -> 25.000 keeping a/v sync

[BenB]

I took the avi to vdub. Changed the video to 25.000.

Saved just the avi, without audio.

Extracted the audio in vdub to a wav file. Put it in cool edit, and stretched the audio (saving pitch) to match the audio. Video was 44m46s240ms ...stretching the audio to that, I put them back together in vdub, then saving them back together in an avi (direct stream selected for both a/v), and with tmpg changed it to mpg without changing the framerate.