Martinez is in. It took a long time, but he made it in 2019. I think Ortiz deserves credit for his strong post-season play, although I put a lot more emphasis on the regular season. It's also ok to consider "fame" as a qualification as long as you are consistent. I personally wouldn't though.
I will look at this more later because I love this stuff, but right now I'll go with Bonds, Clemens, Rodriguez, Schilling, Rolen, Helton.