COL 3 at MIA 5, 2017-08-13

Colorado Rockies at Miami Marlins, 2017-08-13, final 3-5: the score, both clubs' lines and each player's line where the data keeps them.