Rectificar eje o comprar nuevo???

[Simba49er]

Buenas rondas para todos
Tengo en barco en varadero para mantenimiento anual y el mecánico me ha tenido que cambiar el cojinete del arbotante. El caso es que ha sacado el eje por completo y me dijo que se lo llevaba al taller para verificar que esté totalmente recto, pues bien hoy me ha llamado y resulta que está desviado como 0,18 mm.

El me ha dicho que lo puede enderezar pero que volverá a doblarse con el tiempo perjudicando a la bocina y al motor, asi que me ha propuesto un cambio de eje por 700€.
Mi pregunta es... Que pensáis se puede rectificar?
Vale la pena arriesgarse a fastidiar el motor o a que entre agua?
Es mejor cambiarlo?
Es demasiado dinero por un eje? (Creo que son 2 metro y pico de eje)