I have a type 9 gearstick spare. If I remember rightly its been shortened an inch or so, so will still need modifying.
Its also been modified to essentially work as a quick shift. You will need to bolt it to the gearbox with 8mm spacers under the mounting plate (drill
out some M8 nuts).
£10 posted.
David