From what I've seen you're correct on the mk2 resale price - $1100 or so - but a bit high on the mk1. A lot of folks have been dumping these and I've seen several go in mid $800s. Whether this difference is justified by the improved performance of the mk2 is another question...
I believe I sold my mkI for $850 when I sold it about a year ago, if that helps. By now, I'd imagine the price range is anywhere between $750-$900 depending on how much of a stickler the seller wants to be