 Chad, it's a question we've gotten a lot, and Chris, I know you've been asked this over the last few years as well. I just don't see any signs of them slowing him down with the switch hitting at this point. Ozzie now, what, 27 years old, if I'm not mistaken. It's been something that's been talked about with his splits and the numbers being what they are, but I don't think that they're in any rush to make any change. Do you?