I can get 15.5 as a trade-in and then not have to pay sales tax again so it doesn't make sense for me to lower it much further. Plus, they aren't selling them for dealer invoice around here. Might be able to buy one for 20.5 or so, but that's 3500 for 20K, which is a pretty reasonable discount.
Best,
Chris