Il 9.200, alla fin fine, è molto più piccolo del 3.100!!!