Does anyone know what the specs are on the video that comes out the HDMI output? I'm wondering how recording to an ATOMOS Ninja would compare quality-wise to recording straight to an SSD. Obviously it is not going to be RAW over the HDMI, but is it limited to just 8bit?