Looking for suggestions on how many people an average butt (7 lb. bone in) will feed. I have been asked for pulled pork at family get together over X-mas. The head count is locked on 12 adults. My plan was to smoke, rest, pull, vacuum seal, freeze and reheat in boiling water while still bagged. Do you guys add any liquid / sauce during vacuum seal before freezing? I wouldn't think the amount packed into each bag would matter if all of it was going to be used at once. Any and all suggestions are appreciated.