漏れはプロの技術者ではないので断言はできないが，舞台上のオケ用の
マイクは指向性が高いはずなので客席の音はほとんど入らないと思う。
特に東京文化会館の場合は，ホール中に音が響きまくるホールと違って
それほど響かないので，オケ用のマイクにはまず雑音は入らないのでは
ないかと思う。

また，ゲネプロ（や別の日の演奏）を録っておいてそれに差し替えるのは
ライブ盤にはよくあるやり方。