SEATTLE (AP) — Reliever Andrés Muñoz's $9 million option was exercised Thursday by the Seattle Mariners, preventing the pitcher from becoming eligible for free agency.

Seattle also declined a $9 million option on outfielder Victor Robles, who is eligible to be a free agent. He gets a $500,000 buyout that completes a $9.75 million, two-year contract.

The Mariners declined a $6,075,000 option on right-hander Bryce Miller, who gets a $15,000 buyout as part of a one-year deal that guaranteed $2,452,500. Miller remains under club control and is eligible for salary arbitration.

Four Mariners became free agents Thursday: outfielders Randy Arozarena and Taylor Ward, shortstop J.P. Crawford, and left-hander Hoby Milner.

Muñoz, a 27-year-old right-hander, agreed in December 2021 to a $7.5 million, four-year contract that included three club options. An All-Star in 2024 and '25, he had a $7 million salary this year under the first option and went 5-6 with a career-worst 4.24 ERA, 28 saves in 38 chances and 89 strikeouts in 57 1/3 innings.

Seattle has a $10 million option for 2028 that would increase by $250,000 each for 20, 30, 40 and 45 games finished.

Robles, 29, hit .256 with no homers, nine RBIs and 10 stolen bases in 65 games. He was sidelined between April 6 and May 22 by a right pectoral muscle strain. Robles was limited to 32 games in 2025 because of a dislocated left shoulder.

Miller, 28, was 4-10 with a 4.17 ERA in 21 starts and one relief appearance. He didn't make his Mariners season debut until May 13 because of a strained left oblique.