Yay!

This does everything I need. I just took a few videos during a night out and portrait lock was on, but forgotten. This app sorted me out... And my videos!

Hats off to the developer for releasing this for free.

JungleZ about Video Rotate & Flip (No Time Limit), v3.2