CSRS Offset and Social Security Deductions

My husband’s personnel office just found out that he should have been in CSRS Offset after 21 years of coming from the DC Government. After his maximum SS tax was reached, his personnel office stopped the SS deduction. In the past, after the maximum was reached he has received the SS contribution in his paycheck. Was this done correctly?

CSRS Annuity and Divorce Decree

I am under CSRS and thinking about retiring soon. However, I am divorced and my divorce decree has a formula type clause and I don’t know how OPM will apply this formula in determining my annuity. Is there any way to get an estimate from OPM before I retire?