Redirecting to Dave Johnson (1987-1993 pitcher)