Danke für Eure Einschätzung. Mein Gefühl, dass das verhältnismäßig teuer ist, hat mich also nicht getrübt.
Ein Freund, der jahrelang bei Renault Mechaniker war und dort auch gelernt hat, wird den Kundendienst vornehmen. Dadurch spare ich mir einige hundert Euro und weiß, dass ich mit dem Geld etwas Gutes tun kann.