Fast batch encoder to change video FPS?

[David75]

Problem solved, this is not a double post since I close the discussion myself

Plain Old VirtualDub was more than enough to complete the task.

Thanks