I bought a generic auto-sensing HDMI switch (3 inputs, 1 output with a manual switching button) through Amazon for about £2.50. Most of them seem to be like this, manual switch plus autosensing. It took about two weeks to arrive as it was shipped from China, but it works quite well (good stable picture and sound, at any rate) with my Samsung 2012 LED TV and HDR-FOX. It is used to switch between the HDR-FOX and a Now TV box. My only gripe is that if you are watching the Now TV box when the fox comes half awake to do a timer recording it switches over to the fox input and displays a black screen with a 'no signal' message from the TV. The fox must output some sort of signal when half awake or when switching to half awake. I have just ordered a similar model (ca. £8) with a remote control so I don't have to get up and fiddle behind the TV to switch it back. The original box does not work with my Sony bluray though: the picture does not stop flickering. It seems that it impossible to be sure a particular TV/ PVR/ other unit/ HDMI switch combo will work without trying it out.
I wonder if with these cheap switches, it is possible to disable auto-switching by cutting a particular contact, for example?