I just posted a deal for the new Denon X3800h for $2399 delivered. This is the old clearance model, and for many people this is even better value.
Important thing to note is only one of the inputs is HDMI 2.1, the rest are 2.0. Older UI. No Auro-3D and a couple of new formats. But has all the important bits.
Still an excellent value 9 channel receiver with 11 channels of processing.
I'd rather have an amp with two true 4k, switchable outputs than one 8k :p Then i could have one amp driving the tv and pc simultaneously.
The only reason I have a denon right now is their marketing lied and implied they could do it. Well.. that and it was from back when you could buy receivers from amazon germany for $1000 instead of $2500 locally..