I say cook it until you can fully shred it with little effort. This will render out more of the undesirables from the butts, so you have less picking over to do, and it will save you on labor effort when it's time to pull: you may have to chop up the bark but you won't have to bust out the cleaver on any stubborn butt muscles.