The transponders on Galaxy 13 indicate 47 mb/s for two HBO HD channels and 40 mb/s for two Cinemax HD channels but cable companies are usually broadcasting those channel between 10-14 mb/s. Has anyone checked the distribution bit rate of those channels with a BUD? Is the map correct and a lot...