Got to agree! Over here in the UK in mint shape super low hour it would likely be £1800-£2000
Fully restored £3k as in every bearing, gasket, seal throuout the entire bike with brand new respoked rims with new rubber, full fork and shock service, all components removed inspected and replaced where necessary with new.
Full paint or powder coat throughout the frame and subframe and everything above would cost thousands and you will never see it all back again!
I spent £6000-£7000 on my 89 and sold it for £3500 so if you can get a profit from just a cosmetic overhaul do it!
https://www.bikepics.com/members/redordead/89cr250/