Why should I trust you, sorry but unless there's some proof that folks can see it's just you saying it. There's lots of folks that 'say' things on the net when are inaccurate, just being a mod doesn't make you any different.
I can say that using network playback of HD content on D* for MPEG4 channels I'm seeing around 16Mbps. I see this via the stats on my router looking at before and after TX/RX rates. Some of that's going to be IP overhead so I'd guess around 14Mbps range, which IMHO isn't bad for a MPEG4 HD stream.
Nice way of pulling that number out of your ass. More accurately, the most an mpeg 4 transponder is pulling would be between 6 and 8 mbps. I have seen transponders peak around 12. Directv packs their transponders at 5 channels per transponder.
IE. DirecTV HD - Current Listing - DBSTalk.Com
A transponder is on average about 38 mbps. Using your logic, they could only get 2 HD channels on a transponder. We all know that is bogus. So 5 divided by 38 = 7.6 mbps per channel, wich is more in line with the numbers I have said.
Now with dish..
Dish packs on 6 per transponder but runs at a higer bitrate. I belive they get about 42 mbps running 8psk in conjuction with a lower error rate. Running that rate they get, an average of 7mbps per channel.
A side note: Both providers use a fluctuating encoding wich means that if there is a program that doesnt need as many bits, it wont take em and it will give those bits to a programming that needs more. For instance, if there is a Romance movie on HBO that doesnt have alot of fast motion, that transponder will give up its extra bits and give ESPN wich is on the same transpoder its bits because a Football game is on. If there is fast motion on all channels, then it will max everything out evenly. So its not uncommon to see a program running 12-14 and another as low as 4.