I think it is possible that they kept the option open and I think I heard rumours of F1-shifting being available on late Maranello cars, but I don't think it ever went thru. However, it might be plausible since the F1-shift system was introduced on the 355. If I remember correctly it should be in that serial number range (around 109000-110000) So, very possible that they build space into a Maranello, just in case.
Niels