The Texas Rangers are sending a franchise-record four starters to the All-Star Game in Seattle next month, the most of any major league team.

The top club in the AL West will have a starter at all the infield positions save for first base, as catcher Jonah Heim and rookie third baseman Josh Jung are appearing as first-time All-Stars. They’ll join shortstop Corey Seager and second baseman Marcus Semien. It’s Seager’s fourth All-Star appearance, while Semien is an All-Star for the second time in his career.

“We all strive to be the best we can be. And if the fans acknowledge us this year, that means we’re doing something,” Semien said.

Texas’ previous high was three starters in 2012, when Adrian Beltré, Josh Hamilton and Mike Napoli were picked.