I agree. The value they place on their own prospects is very high. Hell I would say, that's a thing league-wide for the most part. It's very rare now to see Top 10 team prospects get traded.
At some point there's going to be a logjam when all of Martinez, Groshans, Martin, Hiraldo & Moreno are pushing Bo, Cavan, Vlad, Springer, Teo, LGJ, & Kirk/Jansen; but that is the only time I see our FO trading Top 10 prospects in our system.
I don't see them trading Manoah, SWR, etc either because they probably project them both a #1/#2 pitchers vs the industry looking at them as mid-rotation arms.