Yes that would be correct you would then be taxed at 25% of that for federal and whatever percentage your state taxes lump sums. Look it up on google by typing in flat rate tax percentage for your state. It will normally be about 6% unless you are in texas or a state that has no income tax. So a good estimate would be subtract 31% for taxes.