I've read in early coverage from CineD and Newshooter that the S9 is capable of outputting clean HDMI at up to 6k/30, but the manual isn't terribly clear. Just wondering if anyone here has tried recording out to an Atomos Ninja with this camera at resolutions higher than 4k? Obviously don't want to buy a Ninja and then find all I can get is 4k recordings!