UncleJ, of course, the day before it died.
BTW, I got the following pricing from the only dealer in Chile:
1) Clutch kit - US$800
2) Labor - 3 days and US$900
I ordered the clutch kit from Germany for US$400 (shipping via DHL included) and will find an indy shop to do it. Still getting labor pricing.