It's Mike & Joe tonight! Gerrit Cole is an Astro! Or is he? Starlin Castro wants to be traded from the Marlins; and how terrible is that situation in Miami?