Thanks for the info.

This means I should expect to see 4 video cables coming from Dish
Network dishes. And I don't need to use a video-splitter. Good. I will
ask the installer to route those 4 cables to the central panel in my
basement where I will connect those 4 cables to the video connector
corresponding to the rooms that should get the receivers.
OK, now I know what to talk to the installer.

Jay Chan