I thought they were already available? On my VIP211k, the following channels have added mappings for Christmas, and were added in last week's uplink: Traditional Holidays, Holiday Instrumentals, Country Holiday, Soulful Holiday, Classical Holiday, Modern Holiday, Holiday Remixed, Viva La Navidad, and Holiday Traditions.
Maybe I can see them because I am subscribed to AT250 and already have those channels?