If I had to, mainly because Rosario's bat is just so behind. Hasn't OPS'd above 700 since low A in 2018. I think you could find a glove first OFer elsewhere if some other team claimed him.
Vs RHP, Jimenez OPS'd 805. Right now, he's Duran without the power, but not as clueless in the field. I think he still has a decent ceiling.
I don't know if the Sox are comfortable with storing both of them on the 40 man, unless they really see Rosario as being able to be an up and down guy in emergency situations (a la Arauz).