How do you switch tuners on a Stream? The Tivo Bolt the Stream is set on is down (running but needs a new tuning adapter so it can't tune channels) and I can't figure out how to change the tuner to a different Tivo Bolt. I powered down the Tivo and still didn't see any option to select a tuner.