That’s what these things generally go for new privately. Or in pristine condition. I’ve seen them new for $1200 but that’s pretty rare. $1400 - $1600 is the common range for these things.
Think I was the 3rd owner of mine when I got it. Now it has a 5th owner I hear.
Your top has the sides painted yes? If so, what colour?