[Grim Tuesday]

The pneumatic shifting is definitely better. When you only have 120 seconds to play with, if shifting takes 1-2 seconds, it is wasted time. You also might have to stop driving to shift. With pneumatic, it is instantaneous.

The only downside to pneumatic that I can see is the requirement that you have to have a compressor and added weight. Though, if this is the only pneumatic thing on there, you may be able to get away with pre-charging some tanks.