Conversation so far:
What did Pedro Martinez do after he retired from baseball?
On January 24, 2013, Martínez joined the Boston Red Sox as a special assistant to general manager Ben Cherington
Did Pedro Martínez do anything else after he retired from baseball besides becoming a special assistant?
In 2015, Martínez was hired by the MLB Network as a studio analyst and also released an autobiography, Pedro, which he coauthored with Michael Silverman of the Boston Herald.
How long was Pedro Martinez with the Boston Red Sox?
From 1998 to 2004
When did Pedro Martinez retire from baseball?
December 4, 2011, he officially announced his retirement.
What else is important to know about Pedro Martinez after he retired from baseball other than his book or jobs?
Martínez was elected to the National Baseball Hall of Fame in January 2015

Question: Is there any other information about Pedro Martinez and the Hall of Fame?
Self-contained rewrite: Is there any other information about Pedro Martinez and the National Baseball Hall of Fame besides winning it?