Should we leave work early on Fridays?