 And they flipped him, and effectively they ended up getting Dylan Cease and Michael King. So not terrible, but they traded a lot of guys. I don't know that any team sort of meets that desperation now. The Orioles have a lot of big prospects, and they have a need for pitching help.