Here, here.
My clutch has a bit over 9,000 miles and I suspect it's the original (bought used with ~6,000 miles) so I don't have a problem getting the whole clutch for $199.
However, it seems like option 1 is in the lead and I have no problem with that either, since the clutch is still not...