Is there a way we could rename the HDMI INPUTS ? For example, I have a Fire TV attached to my HDMI1 and a Chromecast plugged to my HDMI 3. I wish I could be able to see the device names, instead of just having to guess which gadget is attached to each port. Please help !!!