 At the end of the day, Republicans agree that they are focused on winning the Oval Office and down the ballot. Here's Waukesha County Executive Paul Farrow, who is also a delegate nominating Trump. I think there's a really good collaboration that's starting to occur. Marshall has many resources together to say this is our ultimate goal is to get as many electors out and voting in this fall cycle. And that work will carry Republicans through a busy convention and into November. Ximena Bustillo, NPR News, Milwaukee.