He paid Social Security taxes on every paycheck during 12 years in uniform, so when his federal benefits office handed him an $18,000 bill to count those same years toward his civilian pension, it ...