COL 4 at MIA 3, 2023-07-22

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