My butts have usually needed about 1.5 hours per pound (smoking at 235F). Keep in mind that you only need to calculate time for one of the butts since they are all about the same size. To be sure that everything comes off perfectly, you could use 2 hours per pound as the outside maximum time that you will need, and perhaps they will rest double foiled wrapped in the cooler a bit longer, but at least you know you will meet your deadline.
Each but may come to temp at different points in time, so have another therm that you can use to double check that each butt is at least to 195IT for pulled pork.
Hope this helps!