He is only entitled to the vacation time earned and not collected prior to the time of the termination of that benefit and his termination from you company. Do you have proof that your employees were notified of the termination of vacation time earnings? If not, like Bonestructure said, just pay ...