CIN 6 at COL 11, 2023-05-17

Cincinnati Reds at Colorado Rockies, 2023-05-17, final 6-11: the score, both clubs' lines and each player's line where the data keeps them.