If you are going to accept a credit to get it fixed, then the credit should be based on getting professional quotes to fix it with a warranty.
You will probably be surprised to get quotes on the order of $5000 to $10,000 to put French drains around the outside of the house with gravity drain or sump pump.
Taking a token $1000 off the price now puts you at a risk of:
1. Never get it fixed because it costs too much, or
2. Pay a lot more than the credit you got.