I'm going to be heading out to get a receiver that will help get the audio for the PBS stations using my Coolsat 5000. Is there a particular type of Dolby decoding that I need to be looking for? There seems to be so many variations. Any other aspects of the receiver that I should be looking for as well? Thanks.