You might be surprised how much current models sell for. Decent ones $1200+, better ones $2400, signature ones $4800+.
$7k for an original in good shape is nothing for an enthusiast.
I don’t care for that model. I actually had one of those when I was a kid. Give me an SG or an ES-335 any day.