One of my TVs doesn't support Dolby Digital. I am feeding my HR44 to a 1x4 HDMI splitter which feeds that TV and two others that support DD. Since I'm only watching one TV at any given time, I can live with it. However, is there a faster method to switch between DD and PCM other than Menu/Settings/Audio? Thanks.