Line 69 of the Form 1040 is "Excess Social Security taxes...". If he claimed all SS taxes paid were 'excess,' this sum goes to total taxes paid, which would increase the refund by that amount. So it seems that SS taxes could be redeemed and refunded on a Form 1040. I have not tried it myself; anyone comment here?

Freed G