Dave Righetti
...that Dave Righetti was the first player in Major League Baseball history to pitch a no-hitter and lead the league in saves in a career?
...that <b id="mwAok"><a href="./Dave_Righetti" id="mwAoo" rel="mw:WikiLink" title="Dave Righetti">Dave Righetti</a></b> was the first player in <a href="./Major_League_Baseball" id="mwAos" rel="mw:WikiLink" title="Major League Baseball">Major League Baseball</a> history to pitch a <a href="./No-hitter" id="mwAow" rel="mw:WikiLink" title="No-hitter">no-hitter</a> and lead the league in <a class="mw-redirect" href="./Save_(baseball_statistics)" id="mwAo0" rel="mw:WikiLink" title="Save (baseball statistics)">saves</a> in a career?