 And President Trump did, on a scale of 1 to 10, he did a 9, 9.5. You know, he did a better job than a lot of people expected him to do. And I think the odds in Las Vegas are like 60-40 on President Trump right now.