FORT MYERS, Fla. — Red Sox president of baseball operations Dave Dombrowski plans to trade one of his three catchers, Sandy Leon, Blake Swihart or Christian Vazquez, before Opening Day.

Manager Alex Cora is comfortable with the minor league catching depth the Red Sox would need to rely on if one of the two remaining catchers suffers an injury after a trade.

“We’re good,” Cora said. “I had Juan (Centeno) in Houston in 2017. He was part of the playoff roster. So I’m comfortable."

Centeno signed a minor league deal this offseason. He does not have an opt-out clause in his contract this season, president of baseball operations Dave Dombrowski confirmed to MassLive.com via email. He has no minor league options remaining. So if the Red Sox added him to the 40-man roster, he’d need to clear waivers to be sent back to the minors.

Ceteno, a native of Puerto Rico, has appeared in 111 major leagues over parts of six seasons with the Mets, Brewers, Twins, Astros and Rangers. He has a .227/.278/.331/.609 career line in 353 plate appearances.

Swihart, Vazquez and Leon are the only three catchers on Boston’s 40-man roster.

The Red Sox have Óscar Hernández and Austin Rei along with Centeno in major league spring training camp as non-roster invitees.

Hernandez, a 25-year-old Venezuela native, appeared in 22 games with the Diamondbacks in 2015-16, posting a .167/.239/.262/.501 line. He has a strong arm. He has thrown out 43 percent of base stealers (122-of-284) in the minors.

Hernandez served a 50-game suspension in 2018 for a second violation of drug of abuse

Rei, a 25-year-old who the Red Sox drafted in the third round in 2015 out of Washington, slashed .249/.355/.392/.747 with seven homers, 13 doubles, two triples and 31 RBIs in 83 games for Double-A Portland during 2018. He always has been as a strong defensive catcher, although he experienced some difficulty throwing out runners last year (28 percent caught stealing).