COL 2 at MIA 3, 2023-07-23

Colorado Rockies at Miami Marlins, 2023-07-23, final 2-3: the score, both clubs' lines and each player's line where the data keeps them.