Yes. It was paid, plus a billable hour credit (for the lawyers). No sane reason
to skip it. Plus, you could spread the time out over a whole year. So people would take a month, then come back to work, then take a few more weeks here and there as their situation dictated.