How many gallons of coleslaw to feed 100 people?

Everyone would get a cup if you made 12.5 gallons. Enough for seconds for some if a scoop is 6-8 ozs.