“Can the TiVo Roamio Pro DVR record to its HDD from an HDMI input, eg from an Apple TV box or a Xiao Mi box (equivalent/similar from China)? Many thanks for any info on this”