Oh, you're doing Atmos 7.1.4?
It would be significantly more difficult for you to change from Denon/Marantz to anything else since you love XT32.
As for refurbished, it depends on the type of defects. If it's just HDMI boards, then that's an easy fix that even most incompetent techs in NJ could do.
If the problem is "NO OUTPUT", then forget about.
Maybe A4L only takes the refurbished Denon's that have HDMI issues, not "NO OUTPUT" issues.
And I have no idea how the Yamaha techs are with repairs if the AVRs do require service.
But with everything that M Code has been saying all this time plus my own personal experience, if any newbie wants to try Denon/Marantz, they might want to stick to the X1000, X2000, X3000, and X4000 on big discounts. It hurts 1000% less when the AVR is $300-$800, not $5-7K.