Yes, it does seem to be a HDCP issue. My Roku Premiere + allowed me to force 4K @ 60 Hz and that then allowed 4K to passthru the Marantz SR6009. It wouldn’t allow HDR though. If set to the Auto setting on Display Type, no 4K content was available on any of its apps.
Wish the Hopper 3 allowed...