Is It Better to Take PTO or Cash Out?