New speakers for $5000

With Rel introducing a new series of subs.  A second s812 is going to have a bigger impact on the game show than any other upgrade in my opinion. 
https://www.audiogon.com/listings/lisbg9a4-rel-s-812-subwoofers?creative=&gad_campaignid=17191022312&gad_source=1&gclid=CjwKCAiA2svIBhB-EiwARWDPjv_Ung_ntzfx4-SB-cXfhz30h18PFgFrZJgN54OYSlDwn5r9_fcNwRoCl1sQAvD_BwE&keyword=

this was one of many I saw on Google

After you get the subwoofers settled, I would consider spending just a little bit more than five grand on my new speakers. Looks like you are doing an awfully nice job of building a system. Starting to get into big boy territory and you’re gonna wanna represent. hope some of this makes sense. Good luck! 🍀 🎲. 

What about GR research (Danny)?

I bought some Harbeth 30.1 for $1800 used a few months ago. For the type of music you listen to I feel they are pretty close to top of the heap. I don’t believe I’ve ever heard Totems. If all I listened to was acoustic music I would have never sold them. They did ok on rock but definitely not made for that kind of thing. 

Your budget will easily get you a pair of gently used Harbeth M30.2Xd’s,which are superior to the C7 Es3Xd in every manner..The C7 is too warm,almost veiled compared to the M30.2,which has better clarity,tighter,more textured bass(although not quite as deep) & more nuanced highs,which I found to be slightly etched on the C7 due to that aluminum  tweeter..

Crutchfield has revel 226Bes on sale 
close to your 5k.  Maybe a middle ground, sonically?

and these Triangle Duetto Magellan 40th Anniversary

Are under 5k, without stands.  Might be great with the Luxman.  
And your room size is perfect for them.