Did you say Republican “leaning?” Waukesha County is deep red. It was +20 points Trump in the last election. This is a huge win.