CIN 17 at COL 9, 2019-07-13

Cincinnati Reds at Colorado Rockies, 2019-07-13, final 17-9: the score, both clubs' lines and each player's line where the data keeps them.