The fix is in. Thanks for the input
The problem was solved by powering off the Dish Receiver and powering it back on. I'm used to leaving sat receivers on, but I had to replug some stuff this evening, and wonder of wonders, when it came back up, there was digital sound. Thanks for the input...