since no one has answered your question... the dealer will want 14,500 ish or more since they replaced some parts.  If you took in to a dealer and wanted a value to trade into a new one they would offer you about 7,000 ish is my guess.

my neighbor just traded his off, and had the extra wide pickup head.  i guess it cost him alot more to maintain than the regular pickup head.