hey, i replied but can't find it sorry. yeah the factory one is gone but i have a converted auto pedal box, they are identical to the manual one just doesn't have the clutch pedal and a massive brake pedal, you cut the pedal down to size and add a clutch. $350 + postage.
alternatively i can sell you the clutch pedal, bolt and return spring with full instructions to convert your own auto one, really easy and you won't tell the difference, $150 + postage. its as BMW did it anyway, let me know. Simon