Glad it all worked out for you.

I say they should make the $100 fix and be happy with $3900 profit and use that to improve a stream habitiat