I recently had a Vip222k installed in my house. I planned on adding another tv but only had my main tv (connected via hdmi) when the reciever was installed. The installer told me that adding the second tv would be simple -- run coax from the reciever's home distribution output directly to the...