Hej
Jeg har ingen erfaring udi den slags, men er det ikke bare at få skaffet den omtalte pakning, og så skifte den. Jeg mener når en montør skal have 1500 kr for det, kan det jo ikke være noget der tager ret lang tid= noget man kan gøre selv, hvis fingrene vender rigtigt.
Mit råd: Find en forhandler i nærheden, snak med dem, de kender sikkert til fejlen, og kan skaffe den stump der skal skiftes.