Ah, ok. Dann war der Kompressor vermutlich ab und zu an.
Kompressoren gibts online für ganz grob 300€. Was sollte Einbau, (Spülung?), Befüllen etc... etwa kosten bei einer freien Werkstatt?
Wenn das zu tuer ist sollte man aber auch mit dem kürzeren Riemen durch kommen, oder?