MIA 5 at WSH 2, 2023-06-17

Miami Marlins at Washington Nationals, 2023-06-17, final 5-2: the score, both clubs' lines and each player's line where the data keeps them.