Is Dustin Pedroia worth $20 million per year?