I wasn't sure what a green IRS card was so I tried to look it up. Seems as if there is no such thing. There is a Green Card, which allows legal immigrants and aliens to live and work in the U.S.. Since Marty is neither of an immigrant or an alien (as far as we know), I cannot fathom what he is talking about, as usual.