Einen gebrauchten Kopf, bei dem man nicht weiß was sonst noch so ist, für 690 € reparieren lassen.
Oder nen fabrikneuen Kopf für 750 €.
Muss jeder für sich entscheiden

Die geben zwar 24 Monate Garantie, aber nur auf die Reparatur.