Simply: make certain the feature sets match your needs. # hdmi ports, do you need analog inputs, Dolby vision, hdr, amp power ind impedance for driving your speakers...
The brands you mentioned should all serve you well.
Check for deals on last years models... Marantz sr5012, comparable Denon, etc. if you are ok with refurbished, accessories for less is a good place to check out.