They can also be re-mapped as follows:
WFAA (ABC): 6383 ---> 008-00
KTVT (CBS): 6384 ---> 011-00
KXAS (NBC): 6385 ---> 005-00
KDFW (FOX): 6386 ---> 004-00
So they fit nicely alongside their OTA counterparts if you can get 'em. I'm so pleased that we've got these now. Even though I have an antenna on a 50' tower, I'm ~75+ miles from the towers, and am more susceptible to weather fade (and CBS [OTA] was never reliable). Plus, it expands the tuner possibilities.
In case anyone doesn't know how to re-map, its 'menu-6-9-Sat Locals-HD Priority'
Thanks DISH!