Marlins now batting (!) for a no-hitter. Unbelievable.