He is a member of the Baseball Hall of Fame; When he retired, he held six World Series pitching records