 Yeah, he was a great pitcher. Now, he didn't end up pitching later on in his career because they wanted him to bat, but he was a totally solid pitcher and a great hitter. And Willie Mays was a great hitter, great home run hitter, lifetime average. You think about how long he played for.