Yes you can hook the PS4 to any unused HDMI input regardless of the name on the input. You can sometimes change the name in the receiver input set up menu. Check the owners manual.
Yes you can hook the PS4 to any unused HDMI input regardless of the name on the input. You can sometimes change the name in the receiver input set up menu. Check the owners manual.