In this market, IMO (and not a roadie expert), I doubt the dealer paid (or gave a trade-in allowance) of more than half that price. As usual, if you love it, it fits well and rides fine, buy it (maybe offer $600 first).

No, I passed on that one. I am getting the one for $465.

Hey, just as a heads up, you need to be looking at drivetrain wear when you're buying used bikes OP. That blue one was being sold with a buildup of black crud on the derailleur jockey wheels. Not a deal breaker, and it does come from excess oil on the chain, but it's nasty and indicates that the shop hasn't done a thing to the bike other than put it out for sale, probably not even a test ride. The cassette also looked a bit worn, probably okay for a 1,000 kms or more, but still. When you buy a bike, you need to look for wear on consumables like the cassette and chain, and see how the seller is presenting it. Small things tell tales and you don't want to be blind to obvious flaws because you've mentally sold yourself on the bike.

... and only ridden to and from church on sundays.

Also, the rear tire is clearing the back of the seat tube by a hair, if that.