Very nice guitar, near mint condition. Had locking tuners on it, looks like the current owner installed the original tuners.
I sold it because the scale and neck were too small for my liking. It is currently listed for $1000 more than what I sold it for (net to me was actually less due to Reverb fees and shipping costs). I bought it for $4k from a very respectable club member.
I would say that the currently listed price is not necessarily a flip since they will have to pay reverb fees (8.2%), and they had to pay tax when they bought it. Their ad says they might post it to The Gear Page and possibly here at some point, so a direct sale may bring the price down in absence of fees.
I have no affiliation.