“4K HDMI Inputs Are all the HDMI inputs on this receiver 4K compatible? And can I use a Roku box on the "Stream Box" input?”