Re: Recording from HDMI, is it possible?