It's hard to say. If your issue is resale value I would look into something a bit newer. There are certainly many options that hold their value much better.
To give you an idea, my cars sticker price was $44k back in 2003. If we say $9.5k today, that's an ~80% depreciation in 13 years. Luxury cars are not known for holding their value.
Things are worth whatever people are willing to pay for them. I can see someone wanting a manual 'tezza y0! paying $9.5k for it, but that is the right buyer, you don't find these everyday. I am not the right person to answer how much though as I do not buy and sell cars often (as you may have been able to tell), maybe someone else can chime in.
Good luck man!