So now that he is at Google it looks like he is only really working from 9:00 to 4:00 (7 hrs.) at Google vs. over 8 hrs. as a prof, but in those 7 hours he is getting much more meaningful work done.
It was to 5, just sounded like the day he was recalling they had some drinks in the last hour, assuming that doesn't happen every day. Was also some after hours work, not sure if that was related to his day job though.