Talk:List of Seattle Mariners team records

Career ERA Leaders
There are currently four pitchers tied for the best career ERA: Félix Hernández, Hisashi Iwakuma, Randy Johnson, and James Paxton, all with a career ERA of 3.42. Should they all be listed as tied in the career pitching records list? Gabulousity (talk) 22:39, 5 May 2023 (UTC)