I thought about a 15 fps 5k type movie as within the 1dx. Somehow I bet they used something other than MS Movie Maker to stitch the jpgs together