Are they gonna pay the repair bill direct or send you a cheque ?
'Cos if it the latter - just include the cost of an OE Exhaust system in the estimate - IIRC they are a lot more expensive than an aftermarket can !!
You can then spend the extra on other goodies !!