Thanks for responses! There is not much out there on which to do good research...so in the end I needed to take an partially-educated gamble. I ended up buying a "4X2 HDMI Matrix Switch w/EDID Learning & IR Routing" from hdtv supply. So far it has been working well - but there definitely was a lot of ~tweaking required to get everything to work properly. I have one last little issue that I think I have fixed...after a little time there to prove that it is fixed (including Wife Acceptance Testing) I will post a little bit more here about it.