I had my Honda Civic 2000 starter replaced at the shop. Now the clutch is slipping. Before I brought it to the shop, the clutch was in very good condition. The mechanic gave me a ride but I wasn't able to give him a tip. Is it worth the time for the mechanic to swap my clutch with a worn out one? Or could it be that the mechanic spilled some oil on the clutch for some reason?