Is there a definitive source for production numbers by color for the 550 Maranello? I've done some searching but not found anything. I'm just curious...