Thanks to all for the comments. I wonder if anyone has considered ripping the 7.1 True HD stream and then combining the surrounds and rears in Audacity to see if the resulting 5.1 "downmix" is acceptable. I won't be able to try doing this until after Christmas.
(Based on playing around with the Abbey Road 7.1 True HD stream, the Oppo 205 won't play 7.1 FLAC. It will recognize 7.1 WAV, but the resulting mixdown to 5.1 is missing "stuff" in the surrounds.)
(Based on playing around with the Abbey Road 7.1 True HD stream, the Oppo 205 won't play 7.1 FLAC. It will recognize 7.1 WAV, but the resulting mixdown to 5.1 is missing "stuff" in the surrounds.)