Parece ser que los serie xx10 de maranzt, también se actualizaban este verano a dolbyvision, no sé si estará ya disponible o aún no salió.
Mira esto.
https://marantz.custhelp.com/app/ans...s-%26-pre-amps
También comprueba que tengas el ajuste de hdmi del maranzt, en 4K mejorado, supongo que en la tv ya lo tendrás puesto, no??
El Oppo no te ha dado problemas con el 4K hdr/dolbyvision pasándolo por el av??
Lo bueno del Apple TV 4K, es que puedes ir probando las resoluciones,es como un test por así decirlo, tanto en sdr como en hdr/dolbyvision, además de diferentes tasas de refresco. Te recomiendo que una vez puesto el mejorador en el av y la tele, que vayas probando las resoluciones, en sdr no hace falta, pues te las pasará todas, pero empieza con 4K hdr 24fps, esa seguro que te la pasa el av, luego 4K hdr 30, luego 4K hdr 50 y 4K hdr 60, seguramente te de fallo en las dos ultimas, indicador de que el mejorador de hdmi de la tv o av no está activo.
Lo mismo con el dolbyvision, igual tienes suerte y el av te pasa 4K dolbyvision 24 o 30fps, pero te da fallo en 50 y 60fps.
En cuanto al 7012 en potencia es igual al 7010, en eso no ibas a ganar nada, lo mismo que en conectividad, y si marantz lo actualiza a dolbyvision, pues tendrás pepino de av a la última.
Actualiza los aparatos a la última versión y hazles reset de fábrica, para empezar de nuevo.