How does A7s HDMI output?
 

I need to feed a live TVUpack transmitter with a feed from my A7s. The TVU can take 1080p29.97, 1080 59.94i, and 720p59.94. My station is a 720p59.94 broadcaster, and I shoot in 1080p59.94 on the A7s, because it offers no 720p option. I need to feed the TVU with an HDMI to SDI converter, but the TVU CANNOT accept 3GSDI, or 1080p59.94. Is there any chance of spitting out HDMI video into the TVU using a simple HDMI to SDI converter, or would it be more complicated?

I don't have a way to jack into the micro HMDI at this time, so I cannot test.

Paul