How'd they come out?
Just as a side note I made pork butts a couple of times in a row and very consistently they were coming out in 13-14 hours. I felt very clever and started to count on them being done at a particular time. Then the next time, no changes, same size butt, and it took 17...