Der Fehler Scheint auch nicht sehr bekannt zu sein. Bei dem Autohaus gab es so einen Fall auch noch nie (laut Kundenservice).
Allerdings war das Ersatzteil fix da und sie haben es an einem Tag eingebaut, solange ich es also nicht selbst zahlen muss schon okay.