I planned to use a 25% takeout for simplicity, but made a numerical
error. No matter, logic is the same.
Other posts have indicated that the gross pool may sometimes be
below $100.
If you have enough payouts (including consolations) to look at,
you can figure out the pool size pretty closely.
