I know majority of the HD programs have Dolby Digital 5.1 as well as the premium channels, but what other channels or programs have DD 5.1? Do local channels broadcast on DISH have DD 5.1? There's a customer with a 311 contemplating a 510 DVR swap but I'm not sure what percentage of non-HD programs are in DD 5.1. Can anybody help? Thanks.