I mean, thats not that bad. 13k box on a $150,000 car, is like a $1,300 box on an $15,000 car. When I was at Porsche the Tiptronic in the 996TT was $14k, and a manual not much less, that was probably 2003 when we started seeing them. I did a valvebody a few years ago on a ZF 8 speed and that part was $5800 IIRC.....