COL 5 at TEX 11, 2023-05-20

Colorado Rockies at Texas Rangers, 2023-05-20, final 5-11: the score, both clubs' lines and each player's line where the data keeps them.