If you price that bike from a top-quality framebuilder, I'll think you'll come out spending quite a bit more than that. Of course, that would be for a new bike with custom sizing. But for someone for whom this is a good fit, considering the condition, it might be a good buy. TOEI bikes are not outrageously expensive new, considering the quality, but there's the wait and the cultural/language barrier (many if not most US buyers go through Jitensha Studio). The fully equipped randonneur bikes with racks and all the braze-ons and nice little details I inquired about at NAHBS were in the $6000-7000 range (and more), and in at least some cases the builders did not have nearly the level of experience TOEI has. There are some folks who prefer a one-man shop for their KOF dream bike, but I don't happen to be one of them.