How many AMG GTR will they make?