I had a mk4 in dbp (deep blue pearl) with 12k on the clock, sold it and regreted it ever since.
My bro has a mk5 in the same colour now with the upgraded recaros, very nice car.
9k you should sell yours easy mate.
P.s have you tried it on
www.r32oc.com