This ebay auction is asking approx. double what you can get it for from many vendors.
I would suggest the factory short shifter over any other comparable aftermarket short shifter (Weltmeister). The FSS doesn't have quite the reduction in throw distance, but you give up shifting ease for that decrease distance. I use the FSS and it feels fine; just don't rush the shifts.
Sherwood
http://members.rennlist.org/911pcars