Well, I got it. $4,000, just registered it this morning. I got the guy to lower the GVWR to 5k, so the registration was $23 lower. Not like I am going to be hauling much with it anyway. The AC works, and the owner said he got around 22mpg, so I think I am going to drive it for a while