Bob wrote:
Or, are there switch-boxes available as an alternate solution, where
you manually can switch from one HDMI source to another one, and then
feed the single TV HDMI Port ?

You can get these, but get a switch box that has its own power source,
and doesn't try to derive power from the HDMI port on the TV.

HDMI does have a power wire but the power available is really low -
less than USB, if I remember right. It's not really enough to run much
of any external hardware.

I have used a totally electromechanical HDMI switch box on a Toshiba
TV and couldn't get it to work right.

HDMI also has a handshake that has to happen; sometimes the TV will sync
back up after you operate the switch box and sometimes not. You may
have to power-cycle the TV or the HDMI source device after using the
switch box, to get a picture.

Matt Roberds