How Is Comp Time Paid Out