You can set downmix on the multi-channel analog outputs.
There are several settings, from FLR, 7.1, 5.1, stereo, etc.
However, if he wants to pony up $620 you can get a new TX-SR805 and use the HDMI connection and stream DSD. The 805 will do DSD>Analog conversion in DSD Direct mode without converting to PCM.