You forgot about FOX.
But also, the Dayton ABC was not "newly (5/25) added". That 5/25 thing on Dish Channel Chart refers to the Sinclair dispute. All Dayton stations have been on Dish for I think almost 2 years.
My lineup as known to my receivers does match that list, and always has. Just as of this morning the actual content of 7425 and 7427 was swapped. It might still be, but I won't know until I get home tonight.
On a side note, though, and I have to bet there is no correlation here, but... back on August 30, 2004, these same two stations actually did swap network affiliations. 7425 used to be the ABC and 7427 used to be the NBC. That explains the deviation from their standard ordering of locals (which I had never noticed before, thanks for pointing that out). But this morning, it wasn't merely the network affiliation changing back, as I first wondered, because during the commercial breaks, the appropriate local news briefs came on--corresponding to what the stations actually airing on the channels.
Edit: Hmm, after thinking this over and taking into account KKlare's statement about the ordering of locals, maybe this is in fact Dish Network reordering the Dayton locals, 9+ months after the affiliation swap. Perhaps the receivers' lineup will change shortly to reflect that. It wouldn't affect the LIL downmapping to the broadcast channel numbers, so any normal people who actually tune to those instead of 74xx won't be affected.

I have that turned off for my 921 because I'm using its analog tuner as another feed for those stations.