SEA 5 at DET 0, 2023-05-13

Seattle Mariners at Detroit Tigers, 2023-05-13, final 5-0: the score, both clubs' lines and each player's line where the data keeps them.