I have a TC1 with the NC1 studio i/o module.

Can someone please advise, will the AJA ha5-4k (https://www.aja.com/products/mini-converters/ha5-4k) work to convert 4k HDMI to quad stream HDSDI for input into the NC1?

Is that the sort of cheap/baseline option? What are other people doing to get 4k in?

Thanks!