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!