 And Garrett Crochet, although they have years of control left, I still believe will be traded by the time of the deadline. I think someone steps up. I don't know if it's going to be a package deal, but I think somebody steps up and trades for both of those guys. Eric Fetty, I think that one for sure, 100% is a done deal. He'll be going somewhere else. Okay. Let's go down to the Miami Marlins.