Vacation time can be paid in kind, not only for money