If you ever have to batch rotate some videos with a command line tool – or do anything else to some videos with a command line tool, look for ffmpeg.