Got a chance to try out a friends extended version of the short shifter made by miataroadster. Has me thinking about replacing mine. I’d get one the same length as the shift on my 5 speed. Is anyone here running one? What do you think? Do these ever show up for sale used?