Got it. Might spring for plugging the player directly into the TV then, and then running audio out from the ARC port to the receiver (though I'm not sure what input you'd select to play audio from the ARC port coming into the receiver's HDMI out)... or from the optical port on the TV to one of...
I've been setting up my partner's theater system for her new house, and am having some trouble with the audio from her DVD player.
Setup is as follows:
-Phillips 55" 4K TV 55PFL5402
-Sony STR-DN1000 Receiver (HDMI out goes to the TV's HDMI 1 ARC)