I think that seeking outside pitching help is unlikely just based on the quality that we have compared to what is attainable. We are in an industry where everybody lacks pitching, particularly starting pitching. No one has enough. Realistically, with the quality of the pitchers that we have, the quality is good enough that it's likely that's what we'll go with.
Those are some challenges some young guys have to face, even guys as talented as he is. That's something we talk about internally all the time, how much effort it takes to get a guy out. Those 100 pitches in the major leagues are a heck of a lot tougher than those 100 pitches at the minor league level.