I see that several FTA receivers have s/pdif digital audio outputs. I have read in some of the reviews here that they output dolby digital (AC3) when tuned to a feed that has AC3 audio (like some of the PBS feeds). My question is this: Is there any digital output from these jacks when the...