I assumed they paid him for his time off with sick leave, which they do have to do as long as he has acquired the hours.

I think that is separate than what OP is asking.