I think the whole tutorial is about 40 min shot in a Samsung Note2 or iPhone so they are in MP4 at whatever frame rate or resolution.

my VLC 2.07 player can rotate but cannot play MP4 . I do not have a converter that can convert MP4 to say FLV or Mpeg without some compatibility issue with the VLC.

One last try, can you tell the procedures in rotating the video in Premier, I might have enough time in int he afternoon to do in the bar.