So what? Retiring numbers isn't about whether a player makes the HOF. The criteria for retiring a # is the player achieving greatness for your org over an extended period (imo at least 8 yrs)
Randy and Felix both should have #s retired
#s
#s