Nice restore, but way over priced.
Why are you assuming that's restored?
And as far as being overpriced...in near new condition that's about the right price for one of those. About a year ago, I sold one just like that, super clean, 30 years old, and unrestored, on eBay. Someone paid the same amount for it, plus another $100 to ship it across the country.
Usually at that age, they are all beat up, and worth much less. But when they are that nice, they get really good money.