Hi Bob,
I have done pork butt three times now and each time the time in the smoker has varied. To me, your time looks pretty good, but I'd bet it will be done a little sooner.
In any case, I prefer to allow plenty of room to meet my "deadline" of serving the pork by wrapping them in foil...