Robbie Grossman is making about $635 per OPS * 1000, Joe Mauer is making about 41,667. Normally I would say Mauer will settle into the good enough player he's been the last two or 3 years, but that barley good enough player started the last two years hot, he has now been a not good enough player for a full calander year.