Ya, sounds like a factory defect if it failed before 5,000 miles. Is there another dealership nearby (I doubt it) that you can go to? Doesn't surprise me that a clutch in a $200,000 car would cost alot.
BTW, your gf pic in the girlfriends and wives thread made me