If Yadi makes the HOF, Martin deserves it as well. But yeah Yadi will be considered a first ballot, and Martin likely would have to wait a couple of years for sure.
Posey likely will be a first balloter. What about Mauer?
In terms of career WAR, Martin is right there with those three. Sad he won't get the recognition as those three names will.