Sorry to bump an old thread, I'm just surprised to hear they've gone for that much. I have one I bought a short time ago, and it's just not for me. So I was going to flog it for what I paid, so I can continue the search, but now you have me thinking about trying fleabay.
I have it up on a local used site for approx 650 usd, but not getting any action, so I figgered next step was to try this gibson forum. Ebay is a bit of a last resort, I haven't had much luck there.
It's a bit worrysome shipping a guitar, but I guess there's no avoiding that, unless someone local comes out of the woodwork.