Quick look in Ride, says a K3 is worth £2495PT/X, £2730 Private, I'm guessing the 9000 means how many miles it's done and I have no idea how that will affect price.
www.parkers.co.uk can give you a valuation for your bike as well.
What new bike are you thinking of getting?