They are definitely shopping him. The Sox are currently at a $182 million payroll and they still have 2B, 4th OFer, and possibly another catcher as spots they need to fill. The Benintendi signing makes that pretty clear. However, if they're willing to either salary dump Graveman or Kelly, I'd be ok with that too.