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
As a forty year veteran of home audio, imo large horns are the only way to achieve realistic fidelity in such a space. Add at least 3 subwoofers as the space will support real low frequencies with (probably) minimal modal issues.
JBL K2, or, better, Everest are elegant real world solutions & would work nicely w your electronics, as would large Tannoys.Ignore anything with a dome tweeter, cannot drive the space.
Don't need 10-20k to fill the room & sound incredible. Buy the used Legacy Whispers listed at $4k IMO

If you want to spend more, get the newer HD's
Get the big Maggies and a "bigger" amplifier to drive them. With your budget, you can get the new Maggie 20.7's; if you want to spend less, you can get the 20.1's. The Maggies will love all of that room to "breathe". I know this sounds self-serving, but I would consider selling my 20.1's so I can get the new 20.7's. You won't regret getting the big Maggies, just as long as you give them enough power.
George