Thanks, @Kawh
One last question: since you go through the route of Schedule 3 and not Form 843, did IRS accepted it and gave you a refund for the excess social security?
