hope you got a good deal... I also looked into them and they gave me a price quote of $1575 for these tips!!
they call them tips with "extension adapters" and I don't mean a cat-back system either...
http://www.hartge.de/e/artikelpopup2552.html
looks nice but for that price i'd rather get a full system....