You cannot go wrong with either of the two units that you mention. If you are willing to buy used you also might consider a VAC Phi Beta 110i integrated amplifier.
They don't come up for sale often, but it may be worth waiting for. It's discontinued, but used to sell for $19K - $22K. Should be able to get a used one for around $10K.
They don't come up for sale often, but it may be worth waiting for. It's discontinued, but used to sell for $19K - $22K. Should be able to get a used one for around $10K.