Me autorespondo a mí mismo. Repasando el post de las Configuraciones Marantz SR5010/11, SR6010/11, SR7010/11 un compi nos dio una opción que el propio SAT de Marantz recomendaba para hacer un reseteo a valores de fábrica, algo diferente al que aparece en los manuales.
Solucionado en cualquier caso.
Saludos,