Can someone tell me what format the DirecTV 4K content is broadcast at? Specifically, is it 4096x2160 or 3840x2160 at 60Hz with chroma subsampling 4:4:4 or 4:2:0? My guess is it's 8bit? The reason I ask is to make sure my HDMI matrix switch will work with these receivers. The Matrix I am...