The greatest closer/reliever to ever play the game, the #3 all-time saves leader (with 7 All-Stars and 3 Rolaids awards), a starting pitcher in the top 25 of W.A.R. ever (who also tossed in 7 Gold Gloves), and a guy who was unquestionably one of the very best starting pitchers of the 2000's/2010s (who has never been tainted with the P.E.D. issues)?
I concur that Harold Baines waters this group down a lot (and perhaps Edgar Martinez, for the purists), but I think you've got 3 no-brainers on there plus 1 guy who probably deserved to go on maybe his 3rd chance.