I'm considering picking up an F8500 and have a setup question. From what I understand, in order to minimize input lag for gaming on an F8500 you want to rename an input to "PC". However, I assume you do not want to be using the "PC" mode when viewing TV/movie content. Assuming all of your consoles, TV box, etc. run into a receiver and then from there a single HDMI cable runs into the TV, is there a potential setup method where you could get one-button access (on a Harmony remote or whatever) to properly configured modes for gaming and non-gaming using a single HDMI input on the TV, or would you need to run the gaming sources and non-gaming sources into different inputs?