SOLVED/EDIT - I did some testing with the camera. It turns out what the camera gives you is an already slow motion version of the video in 30fps. In my test I shot for 10 seconds, and the video file is a 40 second 30fps file (rather than a 10 second ...
