In my opinion , he should be but he will be on the border. As a red sock, he has averaged a .290 batting average with 34 hrs ( assuming he can hit at least 5 more this year), 107 rbis, and 136 games played a season. He has had 4 seasons with an ops over 1000 (if you include the incomplete 2012). His best ever for hrs was 54, for rbis 148, and average for a season was .332. He also had arguably the best world series performance of all time and has become a postseason legend. While I don't know if he will get in, all I know is that his number absolutely should be retired and he should have his own statue at fenway
Since 2003, he has pretty much been up there with the best hitters in the regular season from a statistical standpoint. The average is a little low, but production wise he has been right up there with pujols, arod, and cabrera.