I have an Samsung 55" LED 4K TV. Originally when I purchased it I ran the HDMI straight from the DirecTV receiver to the TV but when I bought the Onkyo TX RZ810 receiver I ran the signal through the Onkyo receiver. Was this a good decision? I know the receiver purportedly upscales non 4K signals but not sure about that. Can someone enlighten me on the pros and cons of running the DirecTV signal through the Onkyo please? I know one con is the long lag time when changing channels for the picture to return vs running straight into the TV.