I am going to a potluck this weekend & will be taking cholee. There will be 40 people at the party. How much cholee should I make?? is it 1 cup for every 7 people or ?

thanks