PEDRO! Congrats to Pedro Martinez on being elected to the Baseball Hall of Fame! #HOF2015 #HOF