Oddly enough, reading this made me realize that my HD DVR receiver from uverse, a Motorola VIP1216, was not outputting dolby digital over the hdmi. It outputs video great, but the audio I'm getting from it will not switch to DD, just as the OP noticed with his.
It sounds really nice with the PL11 and it's many variations on my Integra 9.9, but it won;t do DD over the HDMI. It does it over the toslink though. How odd.
_________________________
Main system:
Integra dhc 9.9
Threshold SA/4e pure class A
Emotiva XPA-1 (2), XPA-5
(2) Threshold S200's
Thiel 3.6 main speakers
(2)Velodyne F1500r subs
Polk RTI28 surrounds
B&W HTM center
OPPO BDP-83 universal player
Samsung HLT6187 led DLP