How much pulled pork for 40 people