Yes the dealer had to do it. The TPI was updated last tuesday, and the dealer had my car registered for this TPI, so that when a solution came, there would be an alarm in their system and they would contact me immediately. Very thoughtful of them to be honest. Anyway, the update is so fresh that it’s possible even Massimo didn’t know about it up until now.
No, it is not an OTA update, maybe because not everyone has this issue. Just give your dealer a call, and tell them about the TPI, and that you want it fixed. They should be able to fix it within half an hour.