This comment is just to say thanks for drawing my attention to Mahler's retouche of the 9th. I finally got hold of a recording: Gerhard Samuel conducting the Cincinnati Philharmonia Orchestra. The recording is available from Centaur Records.