The team is still in the driver's seat for a playoff spot. If Machado improves on the chance of that happening, yes. Without even really giving it a second thought. Also, what do you consider "top prospects"? I keep seeing that thrown around, but it's pretty subjective. I am not as familiar with our minor league prospects as others. I'll leave this to others here who know more than I do.