I am planning to have the repairs done by a qualified mechanic, but I think there are probably aftermarket parts manufacturers who make a quality replacement clutch or clutch parts, which sell for less than OEM parts. Can anyone confirm this?