Are the numbers out concerning how many CTS-V's were made for the 2012 model year and with what options?