Hard to say..., it's a balance of what your budget is, and your interest in that peice.
All in all, that's a nice unit. If restored, as you indicate, it could be priced right.
YMMV as we are all different. Not hugely out of the realm of realism. Think of it this way, you might come across an unrestored unit in mint cosmetic condition for around 200-300 bucks. To get it worked on, recapped, and adjusted, along with any service bulletins..., likely another 300 bucks..., that makes the math work for you.
Good luck! And, let us know what you end up doing!