i have a set of them in red in our turbo, they were a 5k option. 
Sorry your right 13k to buy outright someone on one of the porsche forums told me.
I ended up going for the replica seats which come in around £1000 I wanted OEM porsche ones and after 2 months of hunting found at set at around 4k but they were in cocoa which is a kinda browny red colour, id then have to trim em so would have been pointless paying loads extra for the porsche crest.
The reps are pretty good, only thing that lets them down is the leather and the way the padings are constructed and styled. Mike @ MJ Interiors and i had a good chat about it before i bought them and worked out a number of improvements. By the time Mike works his magic on them you aint gonna be able to tell the difference, weer also going for some carbon harness gudies and recaro frames so the only bit gonna be left untouched is the carbon bucket frame which is actually a really good standard.
