If anyone here has any experience using VirtualDub, I was wondering if you could kindly tell me how to get it to use a specific codec to save a video with.