I'd get an external HDMI switcher or buy a new AVR.

AND get a URC or Harmony remote for the family.


bibere usque ad hilaritatem