8 pm. But yes that is the way it should work
Hope the Wisconsin Legislature has a session planned for Tuesday then.