It's always fun looking for a VX. I had to go to Ohio to get mine about 8 months ago (I'm in South Carolina), and I found it on Autotrader. Hopefully you'll find a better one out your way than the one you described. I would guess you can get a much better one for $10,000 than that one.

Good Luck!