. . "The workers say this means they lose out in overtime pay, retirement, and other benefits that are tied to base pay, compared to other workers who were not affected by the new system." . . .