You are the only one that can judge that. It has been heavily buffed. As a rep piece the price is reasonable. Nicer shooters sell for $600+ anymore. I would be tempted at $450 for this, although you could offer $375 and see what he says. That said, a repro holster is worth $25, an extra mag is worth $20, so you are only paying around $400 for the gun.
It is your decision, either you want it or not

and if you want a nicer one, then you have to pony up the extra money. I saw a nice erfurt yesterday for $950 at the gun show...
Ed