Not sure I’d give up valuable prospects for a 2 month rental on offense. It’s a moderate upgrade for two months. Seems like a waste of resources. Trade for a pitcher under contract for a couple years and sign Machado in the off season if you like him.