No although I work in the (or on obs). given how affordable blackmagic made SDI and how trivial it is to run some coax the trick is how to get a hdcp strippin

No although I work in the (or on obs). given how affordable blackmagic made SDI and how trivial it is to run some coax the trick is how to get a hdcp stripping hdmi to sdi converter.