Although it's a repair question, I'd also post something in the test equipment forum (yes, I know, that's not the idea...

), I believe you'll find lot of Tek fans there who do not often look into the repair forum...
But that quote is simply a scandal ! I guess it's the replacement of the acquisition board...
You might also ask some servicing companies whether they could help (without replacing the board)... they may have internal connections to some Tek engineers who could potentially come up with other options.