Entonces parece que está claro, entre el DENON 3500 y él Marantz 6012, el que encuentre a mejor precio.
Muchas gracias a todos.