I wondered if this would happen. The OOTP HoF will have roughly 3 players in it because we can't agree on anything. Most of the time we can't even agree to diagree.
Some days I like Martinez and some days I don't. I didn't vote for him here, but he was pretty dangerous in his prime. 6 straight seasons with OPS over .993 and 7 straight with OPS+ over 150. I guess my reservation is 2200 hits for a primary DH. If he could have just started his career a little earlier (only 90 games before he was 27) and gotten to 2600 or 2700 I probably wouldn't have a problem.