They are not included Marcel the total is just for the F12 Berlinetta and as I explained is a number I arrived to after crossing different information. Since you are a well informed person may be you have more accurate figures and if you do please let me know.
So if we add in the numbers for GTO and TDF respectively we can arrive at a total and a % of the total model run. Interestingly for both it works out to about 15%.