There are A few video editors can batch rotate video files, such as Tipard Video Converter Ultimate.