So my car was brought in for a PPI on Saturday. Apparently it checked out OK, but the only issue is that the clutch master cylinder is wore. The current owner is replacing it before I arrive. Is this something I should be concerned about? Any other potential issues related (ie clutch) that may need to be replaced soon? Car currently has 53k miles. thanks,