Yeah - that seems about right to me too - maybe a little high, based on my recent purchase of a B7510 (a little bigger, power steering, 10 years newer, but 1000 hours, and not as 'shiny').
On FB Marketplace, you have to sift through a lot of chaff. Start at 10K or so, and just reduce the...