Aha! This is now our 3rd place where minShown is set explicitly to 1250. Can we define a constant or make it the default?