I run one hdmi cable from my DirecTV box to my AVR for regular viewing. Interestingly enough, the DirecTV installer mentioned I'd be better off running a digital coax for the audio signal. Has anyone actually tried this and is there a noticeable improvement in sound?

Thanks,

speedy