Jansen is definitely the one they trade, it’s just a matter of when. It won’t be during this season so this off season at the earliest. He has the fewest years of control left and can’t stay healthy. Plus, while Montoyo doesn’t do it often enough, he at least uses Kirk in the DH spot from time to time, something he won’t do with Jansen, so Kirk is likely the more useful player to the team.