I think that's a great price for a terrific bike.
FWIW, I gave close to $400 for a very nice 1986 frameset that I plan to build with DA7400. I'll be far north of $675 when built. No doubt I overpaid a bit but that was a couple of years ago and the market's feeling softer these days.