“Will this TV work with a three in one HDMI port switch plugged into one of the HDMI ports to add more HDMI ports for use with other devices? Of course, only one device on the switch would be used at the same time.”