prstlk,
You may be seeing some confusing information. There are several versions of the King Dome controls and some are assuming that what you have is what they have. I believe you might have a controller with a digital readout and several flush style buttons. If that's the case then you have an in-motion dome and likely the Trac-King. You are able to set the service provider from that panel (1000a or 1000b for Dish) but it's unlikely it will work or at least work properly with a dual tuner type receiver. I would suggest that you get a 211K or Z receiver (2 if you want to watch different channels on different TV's but there are limitations there as well) and start from scratch. If you can go up on the roof you should find a model number placard where the coax enters the dome and you can use that number to download the specific operations manual from King Controls.