He is, and I like Mitchell. That said, his extrapolated WAR won’t necessarily mean he’s worth that much in trade. His injury history will probably erode his value some. There’s still some uncertainty. Collins was a 2 WAR outfielder for us last year and he ended up worth basically nothing - he was a throw in.
For both Mitchell and Frelick, it would depend to me on what we could get. I think it makes some sense. But I wouldn’t give either away just to make room for Lara.
An arm, either in the pen or rotation, would be helpful. Or an upgrade at utility infielder over Rengifo.