Bonjour,
Le devis est effectivement excessif...
Pour le reste, si tu n'as pas le vertige et si tu as de quoi t'attacher, tu peux envisager de démousser seul.
Eau tiède et brosse nylon pour les tuiles, voir brosse métal si difficiles à gratter. Tu récupères une tuile pour avoir le modèle (écrit en dessous, sinon tu vas chez un grossiste en matériaux de construction qui te dira la marque et commandera le bon nombre).
Une fois les tuiles en place, tu rinces correctement la toiture avec de la moyenne pression ou juste au jet et balai brosse, avant de traiter pour le problème de porosité.
Pour ce problème, il existe en effet des traitements hydrofuges pour toiture à pulvériser. Ils contiennent une résine siliconée qui créé un film protecteur sur la tuile qui lui redonnera quelques années d'utilité.
En terme de temps pour une toiture de 200m², compter bien 2/3 jours de boulot seul, peut-être mois si la mousse se décolle facilement (chez moi, elle est partie direct au balai brosse... 1 journée de boulot pour une surface équivalente). En terme de budget, une 100aine d'euros en produits + les tuiles de rechange à ajouter. On est loin des 10 000€ !