Doing a high heat Pork Butt and several brisket points today for daughter's high school graduation party tonight. Started the 8# butt around 8 AM and, based on past experience, assume around 6 hours. I also have three, 2.5 to 3# brisket points to cook for burnt ends. About how long should I allow for the brisket points?