The Nolan Arenado trade is official. He is gone off the Colorado Rockies and they will have to replace him some way. Of course, they can replace him but...