€1,200 quote for “replace all sensors” — is this normal after repair?