To trade or not to trade…that is the question..

So, I am of the unpopular opinion that we should trade Correa at the deadline to bolster our farm system while also not paying a guy $30+mil/yr who usually bats in the 5 hole. Spread that money around in free agency in the offseason! Get better bullpen options and maybe another outfield bat, at least? Thoughts?