COL 10 at PIT 1, 2023-05-09

Colorado Rockies at Pittsburgh Pirates, 2023-05-09, final 10-1: the score, both clubs' lines and each player's line where the data keeps them.