[morgan]

Solo te puedo contar la experiencia de rascar la obra viva:

con una especie de cuchillas con mango, a modo de las de afeitarse de toda la vida -pero bastante más grandes, claro-, entre dos personas puedes tener todo el casco pelado en un par de días.

Las venden en Leroy Merlin y cuestan sobre 20 euros.
La hay simple y la hay con una especie de pomo en la cabeza, para ayudarse con la otra mano. Está última es más recomendable, pues el trabajo es duro y se agradece poder usar las dos manos.
Sin embargo la más sencilla va muy bien para hacerlo con precisión, por ejemplo justo en la línea de flotación.

Imprescindible trabajar con gafas de protección y máscara (y guantes y mono), pues la pintura sale como si fuera arenilla.

Despues, un lavado con manguera para quitar el polvillo y cuando seca, dos buenas manos de imprimación de epoxy.

Si luego usas de nuevo patente autopulimentable, es recomendable en la varada de cada año frotar bien el casco húmedo con un estropajo. Le quitas casi toda la patente y tardas mucho más en acumular capas

Ya contarás
Saludos

PD. Justo es la herramienta que ha puesto el cofrade arriba. Esa es la que lleva pomo.
La cuchilla es reversible -se le puede dar la vuelta cuando empieza a perder rendimiento- y recambiable... no hay que comprar de nuevo el mango. Pero para 10m de eslora debes poder hacerlo todo con un par de cuchillas