Fresh off of their World Series triumph, the Royals will open their offseason by bidding adieu to outfielder Alex Rios and righty Jeremy Guthrie. The players officially became free agents today, per an MLBPA press release.

As had been expected, Kansas City declined its mutual options over both, Andy McCullough of the Kansas City Start tweets. Rios’s option was valued at $12.5MM, with a $1.5MM buyout, while Guthrie will receive a $3.2MM buyout on a $10MM option.

Rios, 34, had a down year after joining the Royals last winter as a free agent. He slashed just .255/.287/.353 in 411 plate appearances, swiping nine bases and contributing four home runs.

Guthrie, on the other hand, came to the Royals via trade and then re-signed before the 2013 season. His deal was restructured last January to defer some of his 2014 salary back to the end of the end of the deal, with the mutual option and buyout accomplishing the task. The 36-year-old struggled to a 5.95 ERA in 148 1/3 innings this year, allowing a league-high 29 home runs in the process. That performance eliminated any possibility that the mutual option would be exercised.