Marantz SR-5011 or Denon S760H

I've narrowed it down to these two AVRs. As mentioned in a previous post my primary focus is music, in particular playing vinyl on my SL-D2. I have yet to pair it with speakers. I have a newer LG OLED, which has eARC and what I currently use to stream music. Until now I've been streaming music from a laptop, so the tv sound alone is a huge improvement. Once I get this system set up it will be a dramatic improvement in my audio appreciation journey. A couple points I would like to make, the Denon has both the eARC option, as well as a phono input, which the Marantz does not. I would have to add a phono preamp if I go with the Marantz. Lastly, the Marantz is now being sold for $425, and the Denon seller has agreed to $475. Which would you buy? Until now I've been leaning heavily towards getting the Marantz, but I came upon the Denon last night. This is all new territory for me, so I appreciate any and all advice. Thanks for your time.