Walk away. DO NOT be in a hurry, BECAUSE HOUSES ARE GOING FAST. You sign on the dotted line, it's your problem. Either the seller repair, with receipts, OR they deduct that amount + 10% off sale price.
This is your first house, wait till you're on number 3-4. By then you know what you're looking at, for and better grip on repair cost.