Altho different raw product and different cook methods can give some variation in yield,if you think of 50% yield,or loss,you should be pretty safe.This is for bone in butts.
If the sandwiches are premade,you can establish the amount on a bun.
If you have young people and ladies,we use the 11 oz eight packs with three oz of meat.If they add slaw,or pickle and onion,it makes a workable sandwich.Men/older boys may eat two sandwiches.
If you go to a 13/14 oz 8 pk,then four oz of meat works.
Another way is just decide that, multiply the amount of raw meat times two will give you the amount of four oz meat sandwiches.
If it is mostly adult men,some folks just figure 2/3 lb raw meat per diner.
Always better to have a little extra.
Smokin'Okie's finishing sauce is a forum favorite and the recipe is all over the forum.
Many folks mix a little of their rub and a little of Smokin's vinegar sauce to achieve their flavor profile and moistness level.
Time to cook/finish should not be too far different,if the door isn't opened a lot to fool with them.
Many folks will recommend to cook them at a minimum of 235º accurate cook temp.
Hope this helps a little.