I have a 2005 Mini Cooper non-S with 87k plus miles. I drove it home with no problems with the clutch. Got in the car this morning and had no clutch pedal pressure. Clutch slipping on hills or excelleration. Shop says hole clutch is shot and needs replaced. Is this typical of the Mini's clutch to give no sign of loss?