Does anyone know if that is the official name of the car? Ferrari has been using it during earnings calls and in articles.