7653 is the official number for the '07's, and it's on the 2007 Decal I offer.
2008 Production is still "on", so the numbers are not in on those yet, but the target production is a little less than 2007.
I would expect 2009 production to still be in the 7K range. The 2008 Bullitts were targeted at 7700.
I'll have breakdowns by coupe or convertible in the book.
I hope this helps.
Paul N.