He has to file a WI nonresident return to get a refund of the tax withheld.
Meanwhile they may owe IL.
The software should recognize the reciprocity. (Lacerte does anyway)
