20K miles and clutch was slipping badly. Took it into the shop. Clutch ~$4000 4 new Michelin PS2 with alignment ~$2000 18.5K mile service ~$1000 Brake flush ~$225 Total ~$7500 Does this sound about right?