I got a Specialized Hard Rock a couple years ago for a few trips of gravel riding. Was $499 and been a good bike. Didn't want to spend 1K on a bike I wouldn't ride more than 500 miles a year. Triple drivetrain and I can go anyplace on it. A bit heavier than I would normally ride but still pretty satisfied with it for my needs.
Don't know what they are going for now but this late in the year you should get a decent price I would think!
Good luck!