Satellite TV Forum

How do local channels work? Can someone give me some technical details about how DirecTV local channels work?

I know they have a list of "local receive facilities" around the country which uplink the local channels to the satellites. Now I know they don't have that many satellites so am I to assume that every DTV satellite is constantly broadcasting every local channel? This would mean that the smart card knows which stations are local ...