Here are two more photos of the Mangusta lock & lock parts, fwiw! The first illustrates the shorter length compared to the Pantera trunk lock....5 "pins" instead of 6 and a bit more compact design in general. The other big difference is that the Mangusta unit uses a double sided key (i.e., the key has no 'right side up'). I bought an extra Pushbutton Pantera lock years ago and if it what it's advertised to be, it's very similar to the Mangusta lock.
The second pic shows the Mangusta/PB Pantera type pins - compare to the non-PB Pantera pins in Larry's photo. After scavenging a number of old Alfa locks, there appear to be two variants of these 'double sided' pins, a long spring version and a much less common short spring version (as noted). The 'X' in the photo shows what determines the 'size' of the pin. My guess is that there were at least 6 sizes of pins used in these locks, giving (theoretically) a large range of possible key codes.