Got it - so technically when they set up their payroll, they would need to know that their is a reciprocal agreement, and the W-2 would not need to withhold to WI.

If they don't do that, it is automatic for a NR return to get the refund.