Supongo que a la polea se le saldría la corona de la goma del damper. La distribución supongo que era porque le tocaba.
Si le han puesto 10W40 está claro que no es lo mejor, pero quizás no es grave si sólo tiene 80mil km.
Dependiendo de tu kilometraje previsto, pondría su 5W40 como los que has propuesto y a usarlo. Si haces 10mil al año, como en mi caso, lo mismo cambias antes de coche que de casquillos y esto suponiendo que el tuyo esté entre los afectados, que posiblemente ya digo que pienso que no.