Ivan Rodriguez will have his No. 7 jersey retired by the Texas Rangers in August, the club announced late Friday night at the Dr Pepper Awards Dinner.

The Rangers didn’t announce a date for the ceremony, but it will come only a few weeks after Rodriguez is inducted into the National Baseball Hall of Fame. He was voted for election to the Hall on Tuesday.

The Rangers have previously retired only two numbers — No. 34 belonging to Hall of Famer Nolan Ryan and No. 26 belonging to former manager Johnny Oates. All 30 MLB teams retired the No. 42 belonging to Jackie Robinson.