HDMI encoder question