Yup - and it's not like Ferrari won't do the same thing with the similar gearbox in the 599/612 as well as their other products.
Launch it in the "secret launch mode" disclosed by Clarkson in his Ferrari review ("hold on to your spleen, everybody"), or even with regular launch control a few times and you'll either smoke the clutch or blow the gearbox and Ferrari will NOT replace either one under warranty. I know this because one of my clients' CEO bought a 599, thought it'd be fun to emulate Clarkson and ran it around town for about a week with regular launches under launch control. The gearbox failed, and he got stuck with a $30K bill to replace it.
If you hadn't heard about a Tiptronic in a Porsche 911 Turbo failing like that, you haven't been paying attention.