Boletos cincinnati reds vs san diego padres (august 09, 2013)