4200 is about right for high end exhaust. Kreiggseg exhaust goes for 10k+ on high end cars. I spent 4200 on Eisemann axle back exhaust for my F10 M5 alone.
Exhaust on my M3 retails 11k. It's nice not having the same set up as 20 other cars. Pay to play!