Vacation time can be paid in kind, not only money