Finally managed to get a couple of pictures of the exhaust.
You can see the small dent in one of the tips. Should not be hard to fix.

I'm guessing at somewhere under $1,000. Anybody else have an idea of their value?

Exhaust 1.jpg

Exhaust 2.jpg