Paid vacation time is paid sick time. It's paid time off either way.