Quantity ContactResultingPinballTracker.Maximum { get; }