I ended up with a small PC with HDMI to the TV.