Pompe Dell / fuite corps de pompe

Bonjour,
Nous venons de faire construire une piscine.
La pompe dell, à l'installation, avait une fuite au niveau du corps de pompe. Le pisciniste l'a resserré au niveau des vis.
Depuis plus de fuite.
Est ce que nous devons quand même essayer d'obtenir le changement de la pompe ou bien est ce qu'on peut considérer que la pompe n'était pas assez serrée et que nous n'aurons pas de futur problème avec?
Merci d'avance pour vos réponses

Si elle ne fuit plus, c'est que ce n'était pas grand chose. Le pisciniste a fait son boulot, il n'y a, à mon avis, pas lieu de demander plus.