HI All Can the HDMI input on ultimo4k be used to record from external device. I.E record on HDD in ultimo4k. thank you in advance