When they were called up for military service in the wake of 9/11, hundreds of uniformed city workers in the Reserves faced the suspension of their city health and pension benefits. The city offered them an option: it would keep paying their salaries and continue their benefits, but when they returned they would have to repay the city their city salary or their military pay, whichever was less