I second Gary's comment! The Boleros are probably my favorite speaker, certainly my favorite under $15K. The current version lists for $12K, so the pair for sale are a steal. They are efficient, so your amp will drive them just fine. They are abit euphonic, with a little Gundry dip in the upper-mids/lower-treble, but they are not dark sounding, nor do they lack detail. Heard them years ago and the sound really stuck in my mind. Totally smooth, yet dynamic and involving.
I have also heard the Hyperions and agree with Kijanki. I would also consider Ohm Walsh 4000s, which might need more juice than your current amp, but offer airy highs and really solid, deep bass, based on my experience with the 2000s, which I own.
I've heard the AZ Adagios - also a great speaker, and another one that would be better with a heftier amp. the highs were very smooth, IMHO.
Let us know how you make out!