weren't 9480 and 9481 Voom channels? If so, were they in your favorites list when Voom was around? If so, they "disappeared" when Voom went away but were still kept as favorites for when the channel re-appeared.
Same thing happens if you subscribe to the 250 channel package, place some Dish...