 So I did turn the TV on and started watching it, so I found out about it that way. And then they mentioned it at Brian's 30-year anniversary deal, too, about it. So the president has spoken. They had an Oval Office press conference or announcement last night. He's spoken with Trump. And they say they're going to tone down the rhetoric. We'll see what happens on that. I don't think that's bad. I think it should have been that way before. Well, it really has gotten bad. It's personal.