In my experience KBB has always seemed to be a little generous on value (they list my 13 RMK 800 Assault 155 at a little over $7900 - way more than I would ever hope to get).
This being said, I think the the book value on his XLT might be a little light for the condition of the sled, miles and options. I'm always looking at ads for mid-late 90's triples and it seems like they are typically running at least $1500 for a nice one.
Thinking about selling the RMK and eventually picking up an Ultra or an XLT just to use as a classic rider - like the sound of those triples. Maybe we could work a trade? (Not even-up tho

)