Yes most STB's output DD5.1 via their digital coax/opt ports.
As far as I know, the opt output port on TV's only output DD5.1 when you use the TV's built in atsc tuner and ota ant input. Otherwise it just outputs stereo.

M80s,VP150,EP500,QS8(4)