Audio surprise

This may give you some ideas:

It looks like the Marantz can do 4k at 24Hz at least, which most film titles are, I believe. Otherwise an HDMI splitter that can handle 4k at 60Hz is worth a try.