[throwaway2016a]

As I pointed out in another post. The average number of hours worked is barely more than 40 so I don't think people feel pressured. And related to that, we encourage people to use their vacation time.