I'm hosting an all you can eat gig for approximately 40 people. Most of us are in our late twenties/early thirties. It's pulled pork and pit beef. I purchased approximately 31 lbs of pork butt and 23 lbs of top round. Do you think this is enough meat? There will be a few small sides served as well.