Just one data point - I paid $6700 for my 98.5 CSVT with 106k miles in October '02. The car was super clean and in perfect mechanical shape, one owner, full dealer service history. 90% of the miles were highway cruising commuting between 2 cities 75 miles apart. With the miles on the one you're looking at, if it's in good shape that's a good price. You should be able to get the price down more though - nobody pays list price!
Scott