That assumes they are having the AVR do the downmix. Of course, if they have their BD player (or whatever) doing the downmix, there will very possibly be an even bigger penalty.
That said, I would take the better audio track along with the minor penalty (which wouldn't be noticeable to hardly...