It's funny that DoIT comes up because I happen to work in the same building. I generally leave around 5:00 and without fail when I open my office door the lights are out because people rolled out so long ago that the system shut them off due to lack of activity. Either everyone gets to work at about 7:30am or nobody has ever worked an eight hour day this year.