I'm hoping that sometime next year I'll be able to afford a Marantz SR-6013, which is now down to $899 from its original MSRP of $1499
Congrats on the new ceiling installation!
For what it's worth, if you don't mind manufacturer refurbished (1 year warranty) Accessories4Less have the SR6013 for $749 and the SR6012 for $699. I am using the SR6012 with a 5.2.4 installation and love it, also using it for my Zone 2 system upstairs with an external Marantz MM7025 to drive the Zone 2 as the four Atmos speakers being added used up all 9 amps.
https://www.accessories4less.com/ma...9.2-ch-x-110-watts-a/v-receiver-w/heos/1.html
It would be great if Marantz allowed you to choose the option to have a power amp for the fronts of a 5.2.4 system and two of the SR6012's amps for the Zone 2 as I'd rather power the main channels in the HT that way, but such is life.