Gonna do a couple of different types of chili for a Super Bowl party next weekend. I usually use coarsely ground meat but was wanting to try a chunky smoked brisket one. Do y'all use brisket that was fully cooked or do y'all pull it before done & let it finish cooking with the chili spces, tomato sauce,etc.?