“Is there a button on the remote to switch input to HDMI? I see the ports, but don't see how you would switch imputs”