And if you need one, there’s an HDMI ... switch to any other device it’s able to see is connected to your TV, and then change ...