Big, big room -- which 10-20k speakers?


I just moved into a house in which my listening room will be about 35 x 35 with 17-foot ceilings, with double-story double-pane glass windows on two sides. I will be running a Luxman 509u intergrated amp, a Sony XA777ES, and a Luxman PD371 with a Miyajima Shilabe. Cables are a mix of old Nordost Valhala and newer Kubala-Sosna Emotion. I know it all seems fragmented but I just moved back to the US after a decade living in Tokyo so these are bits and pieces assembled over there.

I am considering a variety of used speakers that can be purchased for 10-20k, namely the Revel Ultima Salons 2s, Rockport Mira Grand II, Aerial Accoustics 20T (I should mention I had 10Ts in the 90s and loved them) and YG Anat Studio II.

I'd love any thoughts on which speakers would perform best in the room given it's size and reflectivity, and given my rather odd electronics. Thanks very much for your advice!
rr999
WHoops, sorry, I of course meant to say 8500 cubic feet, not 8500 square feet.

Sorry.
This is a second recommendation for the Classic Audio Loudspeaker. You will want the efficiency!

If that is outside of your budget the Dreammaker by Audiokinesis is another possibility- it is relatively efficient too. The other speakers in your list will need about 4X more amplifier power at the very least.
Thanks so much everyone: there's an a great amount of info here to parse through and I'll spend the next few hours researching everyone's suggestions.

One feature that attracted me to the YGs was that they incorporate active amplification for the woofers. Has anyone heard these in a large room?
I've heard the Anats in a decent sized room. Very nice, at least with the acoustic vocal jazz recordings demoed.

The audiokinesis and Classic Audio suggestions are probably a good one for use with the integrated amp. Less efficient speakers may need more juice in a very large room. Class D amps are a nice fit there, but that would require an amp switch if that were an option.