The Padres did not play all that well at times, though there was the big-league defensive play Manny Machado made and ...