That doesn't sound too horrible to me. It actually sounds quite reasonable.
I am American, so I did a quick translation into US dollars which I understand much better. 9500 British pounds is about $15275. My bike has every feature in the book, plus a top case, backrest pad, and mounting bracket. I paid $19,400 new including the extra bits. I figure any dealer is going to need to make 15% profit on any bike they take in on trade to be worth their trouble, which means they would aim to sell the bike for about $17500. I don't know about you guys, but I'd rather pay $19,400 for a new bike than save $17,500 for a used one, so it may be a hard sell at this price.
Another way of looking at it, is that the bike depreciated $1900, and the dealer is charging a $2300 sales commission.
If it were me, I would have the bike fixed under warranty and ride it like a stole it. These are tremendous bikes, with tremendous features, and a beautiful motor. If you want to get rid of it, sell it personally. I think the dealer just told you that $17,500 is a good starting price to ask.