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