What's the difference between June /early July and end of July. Use a 6 man rotation until it becomes clear that trading him is the way to go and in the meantime be looking for said trade imo. If another starter gets hurt there is still options in the minors