Boletos miami marlins vs san diego padres (july 01, 2013)