CIN 3 at COL 5, 2017-07-05

Cincinnati Reds at Colorado Rockies, 2017-07-05, final 3-5: the score, both clubs' lines and each player's line where the data keeps them.