[JFP in PA]

I don't know who is doing your car, but they must have the jolly roger flying out front.

An entire factory clutch kit (disc, pressure plate, throw out bearing, pilot bearing) cost about $400 at list price. As they would already have to have allowed for removing and reinstalling your existing clutch in the process of doing the IMS, they are flat out screwing you out of the additional $1.7K.