I'm sabbatical-eligible. I would presume that ERP gets to take it before "retiring", and I know of at least two people in CS that took immediate sabbaticals then formally left.
not sure about ISP. Do people with ISP get to take their unused sabbatical before officially leaving (can it be tacked on to the 5/31 end date)? Or do they just lost it?