Quantity ContactResultingPinballTracker.FilterMaximum { get; }