Thanks for all the ideas so far! We did get a quote from an rv retailer for over 9 grand. We found a private rv repairman who quoted $4800. We, however, did not even spend this much on buying the camper! We have asked around for other people who may do these sorts of things as side jobs, but have found no one so far (we'd be willing to spend a couple thousand, but we know it is a major repair, so it would be hard to find someone for the job).
I don't have pics of the damage yet - we have it parked outside of town at my in-laws & are going to get it all packed up for the winter in a few days - I could add photos then.
We would rather just baby it along if people think that we could for a few more years! We'd rather tarp it maybe & take our chances getting a couple more summer's worth of use out of it if we can than selling it for a major loss. But we aren't huge camping people - this is our first big one, so we aren't sure!
This summer everything that could break in our house did - we just can't afford another huge repair...& unfortunately I am the "handywoman" in our house ;) My husband is not handy at household fixes at all! I'm lucky I got him to figure out how to hook the camper up, tow it, & take it off the truck to park it ;)
