Take him to arbitration, give him $1.0M or $1.3M and stash him in AAA as insurance if Ramos isn't healthy or gets reinsure.
I'd rather let Leon or Solano take that role. That $1 mil could be better used elsewhere.
Flores is right - he'd be better off looking for a fresh start with a new team.