Faire pivoter un fichier MP4, tout en préservant les attributs de codec et de qualité

J'ai besoin de faire pivoter une vidéo MP4 de 90 degrés. Il existe un logiciel comme Flip et Rotation vidéo gratuite disponible qui le fait mais produit un fichier AVI.

Avez-vous des suggestions pour un logiciel pour produire un MP4 de la même qualité (et de la même taille de fichier) que l'original, tourné à seulement 90 degrés? Ne doit pas nécessairement être un logiciel libre ;-)