He won't budge on the price on the receiver
No doubt he wants the $200 to put towards another better Denon with more Atmos channel outputs

.
Hey lay low on it these AVR's ain't gonna grow legs and runway. By next year they'll have another Denon claiming to the bells and whistles flagship with few other models in the budget range of $1 grand or under while the others are $1 grand + to $2 grand.
Oh and plus some of the newer ones won't be able to use dts neural:X with Dolby Atmos as Dolby labs is getting funny about other surround brands being used with theirs.
Get one of the current models of last year or early this year some now at cheap lower prices as they they'll have new model out soon.
Get an AVR that has pre-outputs so you can add on external outboard pro audio like DSP crossover if you so desire to do that?
Keep eye on ebay amazon and elsewhere for bargains.