$400-600 if it's 100% working, shopped, and warrantied. That means all moving parts cleaned, all consumables replaced, new rubber, all plastics present and in reasonable shape, backglass still decent.
pinballjim's advice about a job is solid. The only people who make money flipping pins nowadays do it by ripping people off on one or both ends of the process.