Agreed. He has a 113 OPS+. That's 13% above league average, far from washed up. Not that many 3rd basemen can hit these days.

You clearly don’t know much about baseball. A 113 OPS+ is well above average. Batting average is next to useless, I don’t know why you filthy casuals keep harping on that.