A $40 “HDMI extender” turns out to actually be an HDMI ... he also managed to get a stream out of a rooted Android set-top box. That costs a bit more, but can also record at the same time ...