Jarrod Washburn gave up three straight hits to start the seventh inning, and then left the game with rightness in his right calf.
He went six innings, allowing three runs, three earned runs, four hits no walks, three strike outss, one hit batter.
Sean Green came in with a 7-2 lead, a Ranger on second, and no outs.
The Mariners got out of the inning with a 7-3 lead.
Attendance, btw, is 16,637.