Texas Rangers baseball memorabilia is on display during a media tour of the All Star Village at Choctaw Stadium ahead of the MLB All Star baseball game in Arlington, Texas, Thursday, July 11, 2024. (AP Photo/LM Otero)
FILE - The Fort Worth Symphony Orchestra performs at Globe Life Park before an opening day baseball game between the Texas Rangers and the Philadelphia Phillies in Arlington, Texas, March 31, 2014. Major League Baseball is playing its All-Star Game in Arlington for the first time since 1995, when the Rangers played outside in the stifling heat. This year's game will be played Tuesday, July 16, 2024, in their stadium with a retractable roof that opened in 2020. (AP Photo/Kim Johnson Flodin, File)
FILE - Scott Sarett, of Arlington, Texas, uses an umbrella and a fan to keep cool during the Legends of the Game at the Ballpark in Arlington during All-Star baseball festivities in Arlington, Texas, July 10, 1995. Major League Baseball is playing its All-Star Game in Arlington for the first time since 1995, when the Rangers played outside in the stifling heat. This year's game will be played Tuesday, July 16, 2024, in their stadium with a retractable roof that opened in 2020. (AP Photo/David J. Phillip, File)
FILE - Tiffany Layton, left, and Gregory Taylor, right, protect themselves from the heat before the All-Star baseball game at the Ballpark in Arlington in Arlington, Texas, July 11, 1995. Major League Baseball is playing its All-Star Game in Arlington for the first time since 1995, when the Rangers played outside in the stifling heat. This year's game will be played Tuesday, July 16, 2024, in their stadium with a retractable roof that opened in 2020. (AP Photo/Eric Gay, File)
*The All Star Village is set up inside the Choctaw Stadium ahead of the MLB All Star baseball game in Arlington, Texas, Thursday, July 11, 2024. (AP Photo/LM Otero)
FILE - Florida Marlins' Jeff Conine, right, is congratulated by third base coach Jerry Manuel, of the Montreal Expos, after hitting the winning home run in the eighth inning of the All-Star baseball game in Arlington, Texas, July 11, 1995. Major League Baseball is playing its All-Star Game in Arlington for the first time since 1995, when the Rangers played outside in the stifling heat. This year's game will be played Tuesday, July 16, 2024, in their stadium with a retractable roof that opened in 2020. (AP Photo/Pat Sullivan, File)
Choctaw Stadium is where the All Star Village will be ahead of the MLB All Star baseball game in Arlington, Texas, Thursday, July 11, 2024. (AP Photo/LM Otero)
Youths demonstrate a wiffle ball game at the All Star Village set up inside the Choctaw Stadium ahead of the MLB All Star baseball game in Arlington, Texas, Thursday, July 11, 2024. (AP Photo/LM Otero)
FILE - The jersey number of former Texas Rangers player Ivan Rodriguez is painted on the field for a ceremony where the number was retired by the ball club before a baseball game against the Houston Astros in Arlington, Texas, Aug. 12, 2017. Major League Baseball is playing its All-Star Game in Arlington for the first time since 1995, when the Rangers played outside in the stifling heat. This year's game will be played Tuesday, July 16, 2024, in their stadium with a retractable roof that opened in 2020. (AP Photo/Brandon Wade, File)