Does anyone know the how many 2009 f430's were produced with manual transmission and delivered to the U.S.? Thanks