You're right, vRStu, in a way it is a result - I'm glad the fault has been identified and is being repaired under warranty - I heard, although I don't know if it's correct, that pumps etc can cost hundreds so yep, I'm happy. However, I'll reserve final judgement till I get the car back and find out exactly was replaced/repaired !!