How many pounds of pulled pork per person