I had my car in at my indy this past week for thermostat and spark plugs. He admitted to tearing 2 of the larger o-rings on the first try and coolant was pouring out. When I got her back, the first thing I noticed was what seemed like a lighter clutch pedal effort, and a touchy engagement point about 1-2" further from the floor. Haven't noticed any slipping. Original stock clutch, 42K miles, ESS S/C for year and a half. Is there any way coolant leak could have damaged clutch disk? SAC problem? Wild test drive? Pardon my ignorance with the inner workings of the clutch. Thanks!