peinture exterieure sur crepis existant

bonjour a tous. un artisan peintre me demande 10 OOO euros. TTC pour une renovation des facades de ma maison (environ 230 M2) de l'année 1985. Ce prix comprend lavage, application anti mousse et moisissures, protections divers, rebouchages des fissures, et 2 couches de peinture pliolite. Ce prix nous semblait un peu élevé. Peut on avoir, des avis ? Merci

ça ne me parait pas démesuré
voir avec un façadier : ce peut ne pas couter plus cher de refaire completement le crepi plutot que le repeindre