 From what I'm reading, it's unlikely that there are enough outstanding ballots and ballots waiting to be cured left to get to below that threshold for him to demand a recount. So that race is, I mean, you're going to see a few changes here and there. Expected ballot drop from Washington County clerk's office later this afternoon around 5 o'clock.