About $1500 would be a more realistic figure
(XR75/Z50 Honda's are the exception and pull good money but even still if you hunt around the cheapies are out there as they never stopped making them) I've about 7 vintage mini's and love them all but I wouldn't sell any as the setimentality/novelty value is worth more than the $ value I'd get if I were to sell. I think that maybe the mistake this seller is making is based upon, emotions clouding better judgement