Anyone pay attention to the WI GOP senate primary?