• Paxton was in rare company in setting down the Royals 10 times in a game. The only other pitchers with double-digit Ks against Kansas City this season have been Max Scherzer and Ubaldo Jimenez.
• Tuesday's shutout win was the 13th of the season for the Mariners, tying for the third-most in franchise history. The club record of 15 was set in 2003.
Greg Johns is a reporter for MLB.com. Follow him on Twitter @GregJohnsMLB as well as his Mariners Musings blog. This story was not subject to the approval of Major League Baseball or its clubs.