CIN 3 at COL 1, 2023-05-16

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