Pompe pour traitement de piscine

Bonjour à tous,

J'habite à Saint Gervais Les Bains dans une résidence hôtelière avec piscine. ( Moi je suis un résident à l'année )
J'ai emménagé en Août 2016, et pour moi la piscine est plutôt un gouffre en charges qu'autre chose.
Je sais que l'an dernier le personnel d'accueil (qui s'occupe au passage de l'entretien de la piscine) a commis une erreur ( je ne sais pas avec exactitude laquelle ... ) et il y a eu une avarie de 13 000 euros, remboursé par l'assurance.
Il a aussi mandaté un expert pour cette piscine, sans que je ne sache exactement ce qu'il a expertisé.
Voilà pour le cadre large.

Hier j'ai assisté à l'assemblée générale, et une question a été soulevée concernant l'installation d'une pompe pour le dosage du Chlore et pour le pH si j'ai bien compris dans la cacophonie qui régnait.

Apparemment cette question n'ayant pas été donnée à temps par la société SODEREV qui s'occupe de la partie locative de la résidence, elle sera repoussée à la prochaine AG, mais je suis complètement novice en piscine et je voudrais savoir si les arguments qui m'ont été apportés sont réellement justifiés, à savoir :
1) La personne de l'accueil ne veut plus s'occuper de l'entretien du pH. Il paraît que c'est très contraignant.
2) L'installation d'une pompe résoudrait ce problème ( 4 500 euros ( dont 4.74% pour ma pomme ))
3) Si mon refus en tant que membre du conseil syndical à une demande de travaux d'urgence est possible, la société SODEREV mandatera un prestataire pour s'occuper de l'entretien.
SODEREV m'affirme que cela coûte très cher.
Les autres copropriétaires se laissent influencer en prétextant qu'une pompe c'est du long terme et que mandater un service externe pour l'entretien sera au final plus coûteux sur plusieurs années.
4) Tout en contradiction SODEREV affirme en plus que pas une entreprise ne voudra travailler de cette manière...

Donc voici mes questions :
Est-ce compliqué et contraignant de s'occuper d'une piscine ?
Une pompe de cette sorte est-elle aussi chère ?
Un service de pisciniste est-il si cher que ça ?

Merci encore d'avoir lu mon gros pâté et de me renseigner.