 Current World Series odds for the Astros, again, they were 16-1 when you and I talked about them early June. They actually have gotten worse, even though the team has gotten better. So they were 16-1. I will say at one book, it's 20-1. So you can still actually get a decent number on them, which is wild, actually. It speaks to some of these other teams in baseball, the Guardians being better, for example, than we thought at that point in time. But at 20-1, I still don't hate putting some more money down on the Astros.