I saw one of those in Wales, truly a neat little car. And small!
As for the clutch... Wow, those BMW guys sure know their customers! No wonder I drive a Subaru.
FWIW, there's no way in hell I'd spend $2500 for a clutch at the stealership. I'd push it out of the dealer and get an aftermarket one put in. Depending on the cost of that, I'd consider selling it and try to figure out if it was better to sell it needing repair or to fix it, then sell it. $2500 is a crazy price for a clutch!