Tache sur liner / trou d'évacuation

Bonjour,

nous avons fait construire l'année dernière une piscine maçonnée de 4x8, liner beige avec un puit de décompression.
Lors de la construction, le pisciniste à fait un trou de 3 ou 4 cm dans l'angle du mur du fond et du sol afin "d'évacuer la condensation". Ce trou est relié au puit de décompression.

N'ayant aucune connaissance en la matière j'ai fais confiance.

Cette année lors de la première utilisation j'en ai profité pour faire le tour et là je me suis aperçu qu'a l'endroit du trou (est ce un hasard) le liner présentait une tache brune qui même en frottant ne partait pas.

Quelqu'un sait il si ce trou est vraiment utile ?

D'autre part, que suis je en droit de demander à mon pisciniste concernant ce problème ? Il va pas me changer le liner pour çà je pense !

J'ai surtout peur que cela affaiblisse le liner pour à terme faire un trou :(

merci de vos retours d'expérience.