I guess RRC isnt allowed for someone with  SS card that isnt valid for work?   

Hes got multiple W2s from working under the SSN and is paying taxes, you'd think hed still qualify.

Do we just fudge the RRC worksheet to disallow it, the program doesnt know the difference (or Ive never noticed a place to indicate that) so it wont do it automatically, or do we let the IRS make the adjustment...does IRS even know if an SSN is marked that way?