Deduction in Oklahoma for Civil Service (CSRS) should be 100% not $10,000. The workaround I used was to choose Military to get the 100% deduction, print out the 511 form, and then change the lines that the deduction is on (using white-out), and mail it in.
