This is true, but I'd also add that if a provider is going to compress the bejeezus out of an HD signal, they're probably better off down-rezzing it slightly [with the caveat that it's done fairly transparently]. That is, if Dish were to run everything at 1920, they better give it enough bits...