I would think that a receiver and an additional amp would be the way to go, no? I'm not sure if I could get a pre/pro along with 9 channels of amplification for that budget, especially a newer one that's full 4k and supports atmos. If my fronts are separate, I would assume the receiver is more than capable to run the RS-62s and in-ceiling atmos speakers on its internal amp. Really looking for suggestions though.
Thanks again