I would like to ask user of the 4900 if you are using 2 or more servers and you have favorites list set up if you click on the short cut on the favorite list will the box automatic switch to the respective server that that channel is on or do you have to go into server setting at all time when you want to change server.