Agreed - but Illinois starts with AGI, which already includes tips. So it's irrelevant for Illinois tax purposes, unless I'm missing something.
