Si lleva el codo original, después de diez años, no es descabellado pensar en cambiarlo. El codo se obstruye por el tubo principal y por unas toberas laterales por las que sale el agua caliente y no siempre es fácil limpiarlo y que quede bien. Si está todo lo mal que parece y lo echas en agua fuerte, cincel, cepillo, destornillador, etc... acabarás pringándolo todo de negro y de manchas amarillas del agua fuerte. Yo lo cambié hace dos años, lo limpiaré el año próximo y a la siguiente lo cambio de nuevo. Cuesta como 250€, o sea unos 40 euros año y puede provocar un sobrecalentamiento / rotura de junata de culata / ruina caracolera.. Es una opinión

ánimo y hazlo ya que el año que viene será peor
Rapaz