Comment nettoyer les roches ?

Bonjour à tous,
Je prévois de refaire mon aquarium. Il a quelques années et j'ai quelques roche qui sont devenues bien vertes avec le temps malgré les nettoyages à la brosse à dents électrique.

Comme je prévois de tout sortir pour tout remettre bien, c'est le moment de faire un gros nettoyage. Du coup je m'adresse à vous pour savoir comment vous faites pour vous débarrasser de cette verdure sur les roches ?

Jusqu'à maintenant je faisais bouillir de l'eau et les plongeaient dedans. Puis je brossais. Mais ça manque d'efficacité dans les recoins.