I decode the AC3 from the satellite receiver with a Sony SDP-E800. This is a stand alone decoder made for a home surround sound set up. I got mine on eBay for under fifty dollars. I run a fiber optic cable from the satellite to the decoder and it sounds great!
