Tom- I went through the same decision process recently in your price range (and demo'd most of the speakers mentioned) and just ordered Gibbon Xs. In contrast to others, I much preferred the X to the O96s and Devore definitely makes different sounding lines so personal taste is very much in play.
I value sound stage, dynamics, and tone and the Devore hits those criteria right on the button.
On the more resolution-oriented side, I was tempted by YG Haileys but cost just got out of reach for me. They also aren't tube friendly although your large BATs may stand a better chance. fwiw, I had a Carmel 2 in-home demo.
On the more resolution-oriented side, I was tempted by YG Haileys but cost just got out of reach for me. They also aren't tube friendly although your large BATs may stand a better chance. fwiw, I had a Carmel 2 in-home demo.