Manual is the only way to go. The price you found on kbb is retail. If you bought from an individual you can get one in good shape for about $5000. Here's mine.