Demande d'avis pour un changement de pompe de massage

Bonjour à tous,
Je ne participe pas souvent mais je vous lis régulièrement. En général, je trouve toujours les réponses aux questions que je me pose.
Mais pas là.
Donc : j'ai un spa de D1 un Diplomat acheté en juillet 2007 ; une des 2 pompes de massage a grillé : en la démontant, le réparateur et moi avons constaté qu'elle avait comme fondu! Evidemment, la garantie ne prend pas cela en charge, le revendeur me disant que c'était dû à une surtension électrique.
Je veux bien le croire (de toute façon l'électricité est un truc qui me dépasse!), j'ai confiance en lui et il a toujours été parfait depuis que je lui ai acheté le spa.
Je précise que les branchements électriques ont été faits exprès, que le spa est bien sur un disjoncteur à part, avec une ligne rien que pour lui, le tout dans les règles de l'art.
Bref : le devis pour changer la pompe est évalué à 987€
Sincèrement, je suis abasourdie. D'autant plus qu'en me promenant sur le net, j'ai vu des pompes certes chères mais bien loin de ce montant.
Qu'en pensez-vous? Je répète que le revendeur a toujours été correct et même très arrangeant, disponible etc.
Mais ça me paraît quand même très cher, non?
Merci de vos conseils et lumières
Je ne participe pas souvent mais je vous lis régulièrement. En général, je trouve toujours les réponses aux questions que je me pose.
Mais pas là.
Donc : j'ai un spa de D1 un Diplomat acheté en juillet 2007 ; une des 2 pompes de massage a grillé : en la démontant, le réparateur et moi avons constaté qu'elle avait comme fondu! Evidemment, la garantie ne prend pas cela en charge, le revendeur me disant que c'était dû à une surtension électrique.
Je veux bien le croire (de toute façon l'électricité est un truc qui me dépasse!), j'ai confiance en lui et il a toujours été parfait depuis que je lui ai acheté le spa.
Je précise que les branchements électriques ont été faits exprès, que le spa est bien sur un disjoncteur à part, avec une ligne rien que pour lui, le tout dans les règles de l'art.
Bref : le devis pour changer la pompe est évalué à 987€

Sincèrement, je suis abasourdie. D'autant plus qu'en me promenant sur le net, j'ai vu des pompes certes chères mais bien loin de ce montant.
Qu'en pensez-vous? Je répète que le revendeur a toujours été correct et même très arrangeant, disponible etc.
Mais ça me paraît quand même très cher, non?
Merci de vos conseils et lumières