Not really -- we can assume the 42 percent number should be 13 1/2 percent, when you take weekends out of the equation. But what about working trips at the ranch or Camp David, holidays, etc.; those are included as well in the time. So no, there's no number for actual true vacation time.
Bush did work every weekend at Camp David before and after 9/11.