Realmuto has been out performed this season by Garver, Castro, and Cron. We'd be worse off offensively with him this season (though probably a bit better defensively), and there's zero question about that... and I say that as a guy that wanted him. If he's here, Garver is probably spending a lot of time in AAA, except when Cron is on the DL. Right now, I have to conclude that NOT making that trade was the right thing... It may change next season when Castro is gone and Garver hits the DL for a lengthy period of time... but right now, this team would probably have a couple more losses of Realmuto was our starting catcher.