Nein, hatte nur nachgefragt obs dieses "Ersatzteil" gibt. Dort wurde meine Frage bejaht und man müsste mal schauen obs auf Garantie ginge.
Wir sind dann so verblieben, das ich beim nächsten Service (2020) das machen lasse oder vielleicht auch erst das Jahr darauf bei Rückgabe.
Bis dahin ist ja noch was Zeit und deshalb hab ich auch nicht danach gefragt.