I would also be interested in a better performance of Beethoven's 9th on either high-resolution format. Barenboim's performance is rather flat, IMO. The best performance I've heard is one conducted by Bruno that was recorded in the late 1950's.
There is a well recorded version by Maximiano Cobra on Hodie. However, the interpretation is idiosyncratic to say the least as he performs the work around twice as slow as most other versions.