I'm the opposite...I lock out the 9000s that are repeated with mapdown. I can never remember the 9000 numbers anyway. Only thing I don't ike is Food and HGTV being mapped down, since they are not simulcasts.
Also, I've got my wife "trained" that if she sees a movie she wants to see on, say, one of the west coast premiums, she will flick up one channel and search forward for the next HD broadcast and record it rather than watch it in SD now.
I don't understand why people don't like the mapdown, especially on local channels. If I want to watch SPECIFICALLY HD, I switch to All HD, and I have all the duplicates locked out. All the REAL HD channels are still in the 9000s, and all the sometimes stretchovision channels are on the numbers I already know.