MIA 12 at COL 13, 2022-06-01

Miami Marlins at Colorado Rockies, 2022-06-01, final 12-13: the score, both clubs' lines and each player's line where the data keeps them.