 I think that this helps out Pete Alonso as well because when he went out in the Home Run Derby in 2023, they paired him up with Julio Rodriguez, the hometown guy from Seattle. And Rodriguez, he had 41 home runs in that first round. That is a Home Run Derby record for most home runs in a single round.