Yeah, looks like they got ya covered. Really should be using a reporting therm unit with a min of two probes (meat and grate). NEVER trust a built-in therm. They are notorious for being inaccurate. Butts are one of the most forgiving meats. You can smoke them at about any temp and get good eats. Personally I'd save some time and eliminate the need to do an overnighter. Run the smoker for 1-2 hours on low (200º ish) then bump it to 250-275º.