I saw a similar post yesterday, but can't find it today. I'm smoking pork butts for Labor Day and will be feeding 11 adults and 4 kids. At least 1 of the adults is a big eater. How much (weight-wise) should I fix? Will a 7 pound butt be enough?