Brisket finished at about 3am, so 12h15m cooking time, 9 hours in the smoker, the rest in the oven at 215. The pulled pork is the same weight, nearly to the ounce, (yes, i realize, it's shaped like a football vs the flat brisket) and seems to have stalled for 6 hours now? It's 545am, and still...