 Joe Ryan, Luis Castillo, these are guys with good stuff. The Mariners lineup, I think, can hit Ryan, but they do tend to start a little slow. What's the K-prop for Ryan in this one? Do we have that? Let me check DraftKings real quick. Look, it's funny you say that, too, just because betting pitcher K-props against the Mariners has essentially been just the golden ticket of anything this year. I'm seeing 7.5 over minus 120 there on Joe Ryan.