My TV has two HDMI ports in the back. Problem is, it’s very conceivable that I might need a third at some point. Thus, I’m looking into HDMI switches. Anyone reading this have one that they use and like? Budget willing, I’d love to get one that the Harmony Remote can be programmed to control, as well, though it’s not a necessity.