You know more than me on this, but if his firestick is connected directly to the tv, he is sending audio through either digital, arc, or stereo to his receiver. He would be limited on formats (you seem more familar with formats that can be passsed, isn't 5.1 compressed over digital and arc?) the firestick, preferably a firebox, should be connected to his receiver via hdmi to pass audio formats