I am not sure. All I know is that driving back from Conwall to london up a hill it broke (foot down and no power, just revving).
garage did the work, charged £400 ish??? Saying new clutch?
As I mentioned, I do not really know anything about fixing cars apart from oil change, clutch master...