The actual correct # of manual transmissions is 717 in coupe and 313 more in the convertibles.
https://www.e90post.com/forums/showt...ht=335is+build
Someone spent some serious time putting together some spread sheets on all of the variations. The spread sheets start on page 4 fyi.