Whenever I am cooking for others or for a competition, I always figure 2 hours a pound at 250*. So using my logic your 7.2# butt would take 14.4 hours so I would have rounded it high and said 15 hours. Then if it was, and almost always is, done before that time I wrap it in foil and then a towel...