DALLAS -- The Rangers have made it official: No. 7 is being retired.
The Rangers brought their 2017 Awards Banquet to an end on Friday night by announcing they are retiring Ivan Rodriguez's number this season. Former general manager Tom Grieve made the announcement at the end of the banquet, although the official ceremony won't be until August on a date to be determined.
The announcement came two days after Rodriguez was elected to the Hall of Fame. He will be inducted on July 30 in Cooperstown, N.Y., along with Jeff Bagwell and Tim Raines and will enter the Hall of Fame wearing the Rangers cap on his plaque.