RT @JonHeyman: ramos, marlins settle at $3.4M