Before Craig G catches me on this
Finish counts (by post) include all games, singles/doubles, 7/9 points.
The random (theoretical) numbers are for 7-point games only, so
they're not a perfect match with either Milford/Miami series.
Miami has as many as 4 9-pointers per performance, Milford just 1.
I just didn't try to split it any further.