Been poking around a bit, and found datapoints from fangraphs and almanac:
https://tht.fangraphs.com/predicting-double-play-rate/
https://www.baseball-almanac.com/pla...php?p=mayswi01
According to this, Willie Mays' expected number of GIDP in 1962 was 32, but in actuality he hit for 19 GIDP. So the difference does suggest his speed helped him to avoid more double plays.
I'm at work now and can't run a simulation, but it would be interesting to see what OOTP would say Willie's GIDP output would be.
This is important to get right, because as I've seen elsewhere, GIDP destroys value:
https://www.beyondtheboxscore.com/20...duction-killer
This article shows Brooks Robinson going from above average at the plate to below average, just from how often he GIDPed.