Besides, if the alternative is to leave Mars dead forever, I'd rather let it live for a billion years.
But maybe I don't get what your alternative is, if any?
The alternative is to spin up a magnetic field with superconducting magnets to protect that atmosphere from the solar wind.