That Carbon/Ti system is actually about ballpark for Z32 exhaust. Most systems run anywhere from 750-1100...some WAY more expensive, and some obviously cheaper.

I've seen that one sell for ~800 at some places, and 1050 at others. Funny how big the margin can get on profit after import costs...