 I don't know that would happen. However, we got some other guys that we're going to trade. You know what I mean? Like Sam Pasayo, he's our triple-A catcher. He's a monster. And to be honest with you, Mark, I don't think Jackson Holiday is ready for the major leagues yet. He's close, but he's 20 years old, my man. You know what I mean? It's a little different for him, but I don't think they would do that.