MIA 8 at TEX 9, 2023-08-05

Miami Marlins at Texas Rangers, 2023-08-05, final 8-9: the score, both clubs' lines and each player's line where the data keeps them.