Also congrats to @Marlins catcher @JTRealmuto on catching the first of hopefully many no-hitters in his career!