The issue you appear to have marked as not a big deal is calculating the gross-up that would be required to keep employees whole not the per-paycheck withholding cash flow issue, which you labeled a “real burden” for some (unless I’m misreading your post). I agree both are manageable and would be automated if things switched models.