I like Frank Thomas, but I think he's going to get lumped into the user category. Though if you look at his #'s it was his batting average that tailed off during his career, not so much his HRs. I'd vote for him and I'd vote for Piazza, because there is nothing firm on either of them.

If Hoffman makes it, it will take him a couple years. To show how impressive Mariano is, his career ERA is 0.66 lower than Hoffman's, and Hoffman pitched in the NL West, not AL East.