 No, I don't tune in to the local news much, but they really don't talk about it. I'm more toward the south end of the state, and that's, of course, toward the north end. But I don't really hear much about it on local news. And even with that, Gary, President Trump has a comfortable lead in Georgia over President Biden. So it's almost like that's baked in and people know it for what it is, political.