[Tuffgong4]

Any video converter, super and media coder have worked well for me...

Any video converter is the easiest...I normally just change the resolution but I match the settings (fps, sound format) as close to the original as possible.