@curiousjim
I would get the Arcam AVR550 currently retails for around $3k or $3500 brand new. I has bells and whistles or features you need. It has built-in Spotify, Tidal, Pandora apps. Got Wi-Fi, Airplay & Bluetooth.
Equipped with Dirac Live auto room EQ or room correction which is better than the Audyssey in the Marantz. It is DLNA equipped. And it will sound better than the Marantz SR8012 or any Japanese mass produced AV manufacturers.
The Arcam AVR850 retails for about the same price as the Marantz SR8012.
The SR8012 retails for $3k.