CIN 7 at MIA 4, 2023-05-12

Cincinnati Reds at Miami Marlins, 2023-05-12, final 7-4: the score, both clubs' lines and each player's line where the data keeps them.