A list of efficient speakers at ~$5K a pair.

Arendal 1723's are 92 db and sound great.  Certified THX Ultra.  HDF cabinet.

The Fritz Carbon 7s is hard to beat with your requirements. A step up would be the Joseph Audio Pulsar Graphene but at a cost. Please take a look at these other options with benign load requirements, in that price range:

https://nsmt-loudspeakers.com/Performance-Series

https://shinjitsuaudio.com/

https://www.pispeakers.com/contents.html

Dieter

KEF Reference Ones are are 91 db I believe. And depending on your taste and space the Klispch Heritage line are very efficient and most are in your price range.

All the best.

curious jim ref ones are 85db sensitive

i would look at

Legacy Calbres: 90 db efficient, easy to drive, great bass, fantastic clarity with state of the art drivers

a large step up from the Scan-speak drivers in the Fritz.

Dave and Troy

Audio Intellect NJ

Legacy dealers

+1 used Volti Razz

maybe Zu Audio