Ah, I’ve never looked into what hardware is actually available at the consumer level. That is a lot of money to move a video signal from one place to another.

FWIW I just looked at the AliExpress-tier options and they are much cheaper, but I don’t know about latency situation even if they do hit advertised bandwidth.

I didn’t even know HDMI cables went up to 15m for the copper version.