SEA 4 at TEX 7, 2020-08-12

Seattle Mariners at Texas Rangers, 2020-08-12, final 4-7: the score, both clubs' lines and each player's line where the data keeps them.