4000 to 4500 will get an original machine that has probably never had the playfield pulled apart for a good shopping and all the under ramps also pulled off for a thorough clean.

You have to shop both top and bottom of playfield at once or the crud & filth just gets spread around again instantly.

If u can find one for 4500 u will be very lucky as prices have climbed.
If you find one that is in an overall nice condition, try n buy from a home owner and pay more before you would buy one that's been sited most of its life.
I think a realistic price of 6500 for a full shopped and very nice home example will be the way to go.
A fastidious collector might let one go for the right price and that would be a long term keeper.