sounds like a major issue. The deck needing $3000 worth of work to bring it up to code does too. You should definitely listen to your gut instincts on this. A house is a big purchase.
I don’t know what it’s like in your area but there are a lot of places in this country right now where it’s becoming more of a buyers’ market than a sellers’ market. Lots of people bought houses for the first time during COVID19. Lots of people trying to sell those houses now. People are finding out that real estate value doesn’t always go up. Sometimes the bubble breaks and it comes back down. Prices for houses got ridiculous during COVID. A year after we sold my mom’s house, it now has an estimated value of $20,000 less than our buyers paid. We sold it just in time. Of course, that was Florida but that’s happening in other areas of the country too.
Good luck, whatever you decide.