nandu kumar (08.10.14, 12:36 PM): Is it possible to record the output of the mini HDMI to SDI converter and record it on a Gemini 4 K recorder