Hi, Anole!
You are right, this seems closest one can do in this situation.
I prefer solution 1) as one can do it with remote :).
In my case 2) is little bit cumbersome, as both Humax receivers do not have
on/off switch, so you have to plug them in/out or, better, introduce extra power...