Can’t argue with those three, but I like “all time” stat players to get in. Jeff Kent: most Home Runs and RBI’s by a second baseman. Mike Piazza: Most home runs hit by a catcher. Craig Biggio: most doubles by a right handed hitter in the history of baseball. Those should get you in.
I think Keith Hernandez should be in as the All Time Best fielding First Baseman
Why is he not in, while Ozzy Smith is?