I probably would buck the trend and go for option one. If there's no suggestion that the existing roof will fail to do its job over its expected lifetime, then why replace it? How many people are going to look at a roof and see that it's not as pretty looking as it should be? Will the installer of the replacement roof do a proper job (with the budget they provide you with), including replacing or installing another layer of sheathing under the roof so the glue will stick properly?
$1000 covers a fair few nights of camping or gas for miles of travel.