Dave Martinez’s contract details, per source: 3 years for $2.8 million plus 4th-year option for $1.2 million. So would be $4 million over 4 years.

— Jorge Castillo (@jorgecastillo) November 13, 2017