I think they should turn them on anyways, the only people pointed at DirecTV 10 for the most part are those with HD, and only those with MPEG4 receivers will see the channels.
Then as they get their issue fixed some folks will lose the channels they are not subscribed to such as Starz HD.
Then as they get their issue fixed some folks will lose the channels they are not subscribed to such as Starz HD.