Going to a party this weekend, I decided to be the all you can eat BBQ buffet provider. I'm charging $10 a head for adults, $5 for kids 13 and under. So far there's 6 adults and 3 kids. Assuming that i'll end up with 8 adults and 3 kids total, would a 12lb wholesale cut brisket and two 7.5lb porkbutts be enough? I think that's all I can fit in my WSM.