My opinion is that $16K is way too high. The car sales market right now is at an all time low. It has not been this low in more than a decade. That means it is a wonderful time to buy, and a terrible time to sell. Additionally, it is spring time when car prices are the lowest of the year. In order to take advantage of the depressed market, look around. There are lots of nice cars out there. I bought my fully optioned 87 Z-51 two years ago before the car market crashed, and I only paid $7,500. I currently also own a 94 auto that is absolutely pristine that I paid $12K for. Dealers are going to get you any both coming and going. That's just how it is.
Also, on the 4+3, it's no sweat. It is a manual 4 speed with an automatic overdrive tans behind it. It has enough brains to take care of itself if you are not interested in pushing the button. Whenever it is cold (under 125 degrees) or when you put it in first gear, it comes out of overdrive. When it is warm and in 2,3, or 4, depending on your driving style, it will automatically shift to overdrive as needed. When you need to move ahead quickly just push down on the gas pedal without shifting, and the automatic will shift you out of OD for better pickup; then after you cruise for a bit, it will automatically shift you back to OD. Don't worry about clutching for the overdrive functions. That part of the transmission is fully automatic just like a standard transmission. The button is just there for when you want to get wild, have some fun, and show off.