I would look at the ATC SCM40 v2. They just had the price dropped to $6K a pair from $8K, and compete with both yet with a far smoother tweeter. I think they would be a better match to your amp. They are also easy to drive and place in a room, as you don’t have the complications of a port (they are sealed boxes).